int b_main_source(int data);void _main(){int data;data=-1;data=b_main_source(data);assert(data > ASSERT_VALUE);}int b_main_source(int data){fscanf (stdin, "%d", &data);return data;}
int b_main_source(int data);static void main(){int data;data=-1;data=b_main_source(data);assert(data > ASSERT_VALUE);}int b_main_source(int data){data=ASSERT_VALUE+1;return data;}