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