void b_main_sink(int data_array[]);void _main(){int data;int data_array[5];data=-1;data=RAND32();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);}