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