void _main(){if(global_returns_t_or_f()){{char * data=(char *)malloc(100*sizeof(char));strcpy(data, "A String");printLine(data);data=(char *)realloc(data, (130000)*sizeof(char));if (data!=NULL){strcpy(data, "New String");printLine(data);free(data);}}}else{{char * data=(char *)malloc(100*sizeof(char));char * tmp;strcpy(data, "A String");printLine(data);tmp=(char *)realloc(data, (130000)*sizeof(char));if (tmp!=NULL){data=tmp;strcpy(data, "New String");printLine(data);}free(data);}}}
static void main(){if(global_returns_t_or_f()){{char * data=(char *)malloc(100*sizeof(char));char * tmp;strcpy(data, "A String");printLine(data);tmp=(char *)realloc(data, (130000)*sizeof(char));if (tmp!=NULL){data=tmp;strcpy(data, "New String");printLine(data);}free(data);}}else{{char * data=(char *)malloc(100*sizeof(char));char * tmp;strcpy(data, "A String");printLine(data);tmp=(char *)realloc(data, (130000)*sizeof(char));if (tmp!=NULL){data=tmp;strcpy(data, "New String");printLine(data);}free(data);}}}