static char * main_source(char * data){data=(char *)malloc(100);return data;}void _main(){char * data;data=main_source(data);strcpy(data, "Initialize");printLine(data);free(data);}
static char * main_source(char * data){data=(char *)malloc(100);return data;}static void main(){char * data;data=main_source(data);if (data!=NULL){strcpy(data, "Initialize");printLine(data);free(data);}}