void _main_sink(char * data){{char src[100];_snprintf(data, 100, "%s", src);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_sink(data);}
void _main_sink(char * data){{char src[100];_snprintf(data, 100, "%s", src);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_sink(data);}