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