void _main(){char * data;data=NULL;if(global_returns_t_or_f()){data=NULL;data=(char *)realloc(data, 100*sizeof(char));strcpy(data, "A String");printLine(data);}else{{char data_goodbuf[100];data=data_goodbuf;strcpy(data, "A String");printLine(data);}}if(global_returns_t_or_f()){}else{free(data);}}
static void main(){char * data;data=NULL;if(global_returns_t_or_f()){data=NULL;data=(char *)realloc(data, 100*sizeof(char));strcpy(data, "A String");printLine(data);}else{data=NULL;data=(char *)realloc(data, 100*sizeof(char));strcpy(data, "A String");printLine(data);}if(global_returns_t_or_f()){free(data);}else{free(data);}}