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