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