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