void _main(){FILE * data;FILE * *data_ptr1=&data;FILE * *data_ptr2=&data;data=NULL;{FILE * data=*data_ptr1;data=WFOPEN(L"file.txt", L"w+");}{FILE * data=*data_ptr2;fclose(data);}}
static void main(){FILE * data;FILE * *data_ptr1=&data;FILE * *data_ptr2=&data;data=NULL;{FILE * data=*data_ptr1;data=WFOPEN(L"file.txt", L"w+");}{FILE * data=*data_ptr2;if (data!=NULL){fclose(data);}}}