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