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