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