void _main(){int * data;int data_mainbuf[50];int data_goodbuf[100];data=data_mainbuf;{{size_t i;for (i=0;i < 100;i++){data[i]=src[i];}printIntLine(data[0]);}}}
static void main(){int * data;int data_badbuf[50];int data_goodbuf[100];data=data_goodbuf;{{size_t i;for (i=0;i < 100;i++){data[i]=src[i];}printIntLine(data[0]);}}}