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