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;{size_t i, dest_sz;char dest[100];memset(dest, 'C', 100-1);dest_sz=strlen(dest);for (i=0;i < dest_sz;i++){dest[i]=data[i];}dest[100-1]='\0';printLine(dest);}}}
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;{size_t i, dest_sz;char dest[100];memset(dest, 'C', 100-1);dest_sz=strlen(dest);for (i=0;i < dest_sz;i++){dest[i]=data[i];}dest[100-1]='\0';printLine(dest);}}}