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