void _main(){char * data;data=(char *)calloc(100, sizeof(char));{char * data_copy=data;char * data=data_copy;strcpy(data, "Initialize");printLine(data);free(data);}}
static void main(){char * data;data=(char *)calloc(100, sizeof(char));{char * data_copy=data;char * data=data_copy;if (data!=NULL){strcpy(data, "Initialize");printLine(data);free(data);}}}