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