void _main(){char * data;char data_mainbuf[50];char data_goodbuf[100];data=data_mainbuf;{char * data_copy=data;char * data=data_copy;{char dest[100];memset(dest, 'C', 100-1);memcpy(dest, data, strlen(dest)*sizeof(char));dest[100-1]='\0';printLine(dest);}}}
static void main(){char * data;char data_badbuf[50];char data_goodbuf[100];data=data_goodbuf;{char * data_copy=data;char * data=data_copy;{char dest[100];memset(dest, 'C', 100-1);memcpy(dest, data, strlen(dest)*sizeof(char));dest[100-1]='\0';printLine(dest);}}}