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