void b_main_sink(FILE * data);void _main(){FILE * data;data=NULL;data=fopen("BadSource_fopen.txt", "w+");b_main_sink(data);}void c_main_sink(FILE * data);void b_main_sink(FILE * data){c_main_sink(data);}void d_main_sink(FILE * data);void c_main_sink(FILE * data){d_main_sink(data);}void e_main_sink(FILE * data);void d_main_sink(FILE * data){e_main_sink(data);}void e_main_sink(FILE * data){if (data!=NULL){CLOSE((int)data);}}
void b_main_sink(FILE * data);static void main(){FILE * data;data=NULL;data=fopen("BadSource_fopen.txt", "w+");b_main_sink(data);}void c_main_sink(FILE * data);void b_main_sink(FILE * data){c_main_sink(data);}void d_main_sink(FILE * data);void c_main_sink(FILE * data){d_main_sink(data);}void e_main_sink(FILE * data);void d_main_sink(FILE * data){e_main_sink(data);}void e_main_sink(FILE * data){if (data!=NULL){fclose(data);}}