static void main_sink(){char * data=_main_data;{char src[100];strncpy(data, src, 100);printLine(data);}}void _main(){char * data;char * data_mainbuf=(char *)ALLOCA(50*sizeof(char));char * data_goodbuf=(char *)ALLOCA(100*sizeof(char));data=data_mainbuf;_main_data=data;main_sink();}
static void main_sink(){char * data=_main_data;{char src[100];strncpy(data, src, 100);printLine(data);}}static void main(){char * data;char * data_badbuf=(char *)ALLOCA(50*sizeof(char));char * data_goodbuf=(char *)ALLOCA(100*sizeof(char));data=data_goodbuf;_main_data=data;main_sink();}