/*
-- 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 "pretty.h"
T7*e2s(char*e){
return se_ms(strlen(e),e);}
char*s2e(T7*s){
char*e=malloc(1+s->_count);
memcpy(e,s->_storage,s->_count);
e[s->_count]='\0';
return e;}
void*se_ma65(int argc,...){
T65*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M65;
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_ma901(int argc,...){
T901*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M901;
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_ma263(int argc,...){
T263*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M263;
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_ma522(int argc,...){
T522*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M522;
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_ma587(int argc,...){
T587*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M587;
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_ma396(int argc,...){
T396*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M396;
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_ma848(int argc,...){
T848*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M848;
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_ma147(int argc,...){
T147*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M147;
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_ma855(int argc,...){
T855*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M855;
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_ma26(int argc,...){
T26*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M26;
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_ma733(int argc,...){
T733*m;
va_list pa;
T0**s;
m=malloc(sizeof(*m));
*m=M733;
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_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_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);}