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