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 dest[100];memset(dest, 'C', 100-1);memmove(dest, data, strlen(dest)*sizeof(char));dest[100-1]='\0';printLine(dest);}}
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 dest[100];memset(dest, 'C', 100-1);memmove(dest, data, strlen(dest)*sizeof(char));dest[100-1]='\0';printLine(dest);}}