void b_main_sink();void _main(){int * data;int data_mainbuf[50];int data_goodbuf[100];data=data_mainbuf;_main_data=data;b_main_sink();}void b_main_sink(){int * data=_main_data;{memcpy(data, src, 100*sizeof(int));printIntLine(data[0]);}}
void b_main_sink();static void main(){int * data;int data_badbuf[50];int data_goodbuf[100];data=data_goodbuf;_main_data=data;b_main_sink();}void b_main_sink(){int * data=_main_data;{memcpy(data, src, 100*sizeof(int));printIntLine(data[0]);}}