void b_main_sink(void * void_data_ptr);void _main(){int data;data=-1;data=SHRT_MAX+5;b_main_sink(&data);}void b_main_sink(void * void_data_ptr){int * data_ptr=(int *)void_data_ptr;int data=(*data_ptr);{char c=(char)data;printHexCharLine(c);}}
void b_main_sink(void * void_data_ptr);static void main(){int data;data=-1;data=CHAR_MAX-5;b_main_sink(&data);}void b_main_sink(void * void_data_ptr){int * data_ptr=(int *)void_data_ptr;int data=(*data_ptr);{char c=(char)data;printHexCharLine(c);}}