static void main_sink(FILE * data){if (data!=NULL){CLOSE((int)data);}}void _main(){FILE * data;data=NULL;data=freopen("BadSource_freopen.txt","w+",stdin);main_sink(data);}
static void main_sink(FILE * data){if (data!=NULL){fclose(data);}}static void main(){FILE * data;data=NULL;data=freopen("BadSource_freopen.txt","w+",stdin);main_sink(data);}