void b_main_sink(int data_array[]);void _main(){int data;int data_array[5];data=-1;{char input_buf[CHAR_ARRAY_SIZE]="";fgets(input_buf, CHAR_ARRAY_SIZE, stdin);data=atoi(input_buf);}data_array[2]=data;b_main_sink(data_array);}void b_main_sink(int data_array[]){int data=data_array[2];assert(data > ASSERT_VALUE);}
void b_main_sink(int data_array[]);static void main(){int data;int data_array[5];data=-1;data=ASSERT_VALUE+1;data_array[2]=data;b_main_sink(data_array);}void b_main_sink(int data_array[]){int data=data_array[2];assert(data > ASSERT_VALUE);}