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