void main(){char * data;data=NULL;if(global_returns_t_or_f()){data=new char[100];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{delete[] data;}}
static void main(){char * data;data=NULL;if(global_returns_t_or_f()){{char data_goodbuf[100];data=data_goodbuf;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{}}