void b_main_sink();void _main(){int data;data=-1;data=OPEN("BadSource_open.txt", O_RDWR|O_CREAT, S_IREAD|S_IWRITE);_main_data_for_main_sink=data;b_main_sink();}void b_main_sink(){int data=_main_data_for_main_sink;if (data!=-1){fclose((FILE *)data);}}
void b_main_sink();static void main(){int data;data=-1;data=OPEN("BadSource_open.txt", O_RDWR|O_CREAT, S_IREAD|S_IWRITE);_bad_data_for_good_sink=data;b_main_sink();}void b_main_sink(){int data=_bad_data_for_good_sink;if (data!=-1){CLOSE(data);}}