int b_main_source(int data);void _main(){int data;data=-1;data=b_main_source(data);{short s=(short)data;printf("%hd\n", s);}}int b_main_source(int data){data=SHRT_MAX+5;return data;}
int b_main_source(int data);static void main(){int data;data=-1;data=b_main_source(data);{short s=(short)data;printf("%hd\n", s);}}int b_main_source(int data){data=CHAR_MAX-5;return data;}