static void main_sink(FILE * data){fclose(data);}void _main(){FILE * data;data=fopen("BadSource_fopen.txt", "w+");fclose(data);main_sink(data);}
static void main_sink(FILE * data){fclose(data);}static void main(){FILE * data;data=fopen("GoodSource_fopen.txt", "w+");main_sink(data);}