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