void b_main_sink(int data_array[]);void _main(){int data;int data_array[5];data=OPEN("BadSource_open.txt", O_RDWR|O_CREAT, S_IREAD|S_IWRITE);CLOSE(data);data_array[2]=data;b_main_sink(data_array);}void b_main_sink(int data_array[]){int data=data_array[2];CLOSE(data);}
static void main(){int data;int data_array[5];data=OPEN("BadSource_open.txt", O_RDWR|O_CREAT, S_IREAD|S_IWRITE);CLOSE(data);data_array[2]=data;b_main_sink(data_array);}void b_main_sink(int data_array[]){int data=data_array[2];}