void _main(){int data;_union_type my_union;data=-1;data=OPEN("BadSource_open.txt", O_RDWR|O_CREAT, S_IREAD|S_IWRITE);my_union.a=data;{int data=my_union.b;if (data!=-1){fclose((FILE *)data);}}}
static void main(){int data;_union_type my_union;data=-1;data=OPEN("BadSource_open.txt", O_RDWR|O_CREAT, S_IREAD|S_IWRITE);my_union.a=data;{int data=my_union.b;if (data!=-1){CLOSE(data);}}}