void _main(){FILE * data;_union_type my_union;data=NULL;data=fopen("BadSource_fopen.txt", "w+");my_union.a=data;{FILE * data=my_union.b;if (data!=NULL){CLOSE((int)data);}}}
static void main(){FILE * data;_union_type my_union;data=NULL;data=fopen("BadSource_fopen.txt", "w+");my_union.a=data;{FILE * data=my_union.b;if (data!=NULL){fclose(data);}}}