static void main_sink(FILE * data){if (data!=NULL){CloseHandle((HANDLE)data);}}void _main(){FILE * data;void (*func_ptr) (FILE *)=main_sink;data=NULL;data=freopen("BadSource_freopen.txt","w+",stdin);func_ptr(data);}
static void main_sink(FILE * data){if (data!=NULL){fclose(data);}}static void main(){FILE * data;void (*func_ptr) (FILE *)=main_sink;data=NULL;data=freopen("BadSource_freopen.txt","w+",stdin);func_ptr(data);}