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