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