void b_main_sink(int data);void _main(){int data;data=-1;{char input_buf[CHAR_ARRAY_SIZE]="";fgets(input_buf, CHAR_ARRAY_SIZE, stdin);data=atoi(input_buf);}b_main_sink(data);}void b_main_sink(int data){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){assert(data > ASSERT_VALUE);}