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