void _main(){if(global_returns_t_or_f()){{char * data=NULL;data=(char *)realloc(data, 100);if (data==NULL){}strcpy(data, "BadSinkBody");printLine(data);if (data!=NULL){free(data);}}}else{{char * data=NULL;data=(char *)realloc(data, 100);if (data==NULL){printLine("realloc() failed");exit(1);}strcpy(data, "BadSinkBody");printLine(data);if (data!=NULL){free(data);}}}}
static void main(){if(global_returns_t_or_f()){{char * data=NULL;data=(char *)realloc(data, 100);if (data==NULL){printLine("realloc() failed");exit(1);}strcpy(data, "BadSinkBody");printLine(data);if (data!=NULL){free(data);}}}else{{char * data=NULL;data=(char *)realloc(data, 100);if (data==NULL){printLine("realloc() failed");exit(1);}strcpy(data, "BadSinkBody");printLine(data);if (data!=NULL){free(data);}}}}