void b_main_sink(int * data_ptr);void _main(){int data;data=-1;data=ASSERT_VALUE-1;b_main_sink(&data);}void b_main_sink(int * data_ptr){int data=*data_ptr;assert(data > ASSERT_VALUE);}
void b_main_sink(int * data);static void main(){int data;data=-1;data=ASSERT_VALUE+1;b_main_sink(&data);}void b_main_sink(int * data_ptr){int data=*data_ptr;assert(data > ASSERT_VALUE);}