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