void b_main_sink();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;b_main_sink();}void b_main_sink(){char * data=_main_data;{size_t i, dest_sz;char dest[100];memset(dest, 'C', 100-1);dest_sz=strlen(dest);for (i=0;i < dest_sz;i++){dest[i]=data[i];}dest[100-1]='\0';printLine(dest);}}
void b_main_sink();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;b_main_sink();}void b_main_sink(){char * data=_main_data;{size_t i, dest_sz;char dest[100];memset(dest, 'C', 100-1);dest_sz=strlen(dest);for (i=0;i < dest_sz;i++){dest[i]=data[i];}dest[100-1]='\0';printLine(dest);}}