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