void _main(){char * data;char * data_mainbuf=(char *)ALLOCA(50*sizeof(char));char * data_goodbuf=(char *)ALLOCA(100*sizeof(char));if(global_returns_t_or_f()){data=data_mainbuf;}else{data=data_goodbuf;}{char src[100];strcat(data, src);printLine(data);}}
static void main(){char * data;char * data_badbuf=(char *)ALLOCA(50*sizeof(char));char * data_goodbuf=(char *)ALLOCA(100*sizeof(char));if(global_returns_t_or_f()){data=data_goodbuf;}else{data=data_goodbuf;}{char src[100];strcat(data, src);printLine(data);}}