/*
-- ANSI C code generated by :
-- SmallEiffel The GNU Eiffel Compiler -- Release (- 0.82)      --
-- Copyright (C), 1994-98 - LORIA - UHP - CRIN - INRIA - FRANCE --
-- Dominique COLNET and Suzanne COLLIN -    colnet@loria.fr     --
--                 http://www.loria.fr/SmallEiffel              --
*/
#include "compile_to_c.h"
void*se_ma96(int argc,...){
T96*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M96;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=((void*)(va_arg(pa,char*)));
}
va_end(pa);
}
return m;}
void*se_ma608(int argc,...){
T608*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M608;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=((void*)(va_arg(pa,char*)));
}
va_end(pa);
}
return m;}
void*se_ma419(int argc,...){
T419*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M419;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=((void*)(va_arg(pa,char*)));
}
va_end(pa);
}
return m;}
void*se_ma552(int argc,...){
T552*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M552;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=((void*)(va_arg(pa,char*)));
}
va_end(pa);
}
return m;}
void*se_ma681(int argc,...){
T681*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M681;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=((void*)(va_arg(pa,char*)));
}
va_end(pa);
}
return m;}
void*se_ma235(int argc,...){
T235*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M235;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=((void*)(va_arg(pa,char*)));
}
va_end(pa);
}
return m;}
void*se_ma429(int argc,...){
T429*m;
va_list pa;
T2*s;
m=malloc(sizeof(*m));
*m=M429;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=va_arg(pa,int);
}
va_end(pa);
}
return m;}
void*se_ma365(int argc,...){
T365*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M365;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=((void*)(va_arg(pa,char*)));
}
va_end(pa);
}
return m;}
void*se_ma495(int argc,...){
T495*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M495;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=((void*)(va_arg(pa,char*)));
}
va_end(pa);
}
return m;}
void*se_ma948(int argc,...){
T948*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M948;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=((void*)(va_arg(pa,char*)));
}
va_end(pa);
}
return m;}
void*se_ma52(int argc,...){
T52*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M52;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=((void*)(va_arg(pa,char*)));
}
va_end(pa);
}
return m;}
void*se_ma247(int argc,...){
T247*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M247;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=((void*)(va_arg(pa,char*)));
}
va_end(pa);
}
return m;}
void*se_ma764(int argc,...){
T764*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M764;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=((void*)(va_arg(pa,char*)));
}
va_end(pa);
}
return m;}
void*se_ma381(int argc,...){
T381*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M381;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=((void*)(va_arg(pa,char*)));
}
va_end(pa);
}
return m;}
void*se_ma701(int argc,...){
T701*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M701;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=((void*)(va_arg(pa,char*)));
}
va_end(pa);
}
return m;}
void*se_ma382(int argc,...){
T382*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M382;
if(argc){
s=malloc(argc*sizeof(*s));
m->_storage=s;
m->_capacity=argc;
m->_lower=1;
m->_upper=argc;
va_start(pa,argc);
while(argc--){
*(s++)=((void*)(va_arg(pa,char*)));
}
va_end(pa);
}
return m;}
void rsp(void){
printf("Eiffel program crash at run time.\n");
printf("No trace when using option \"-boost\"\n");}
void sigrsp(int sig){
printf("Received signal %d (man signal).\n",sig);
rsp();
exit(1);}