void b_main_sink(void * void_data_ptr);void _main(){unsigned int data;data=0;data=(unsigned int)RAND32();b_main_sink(&data);}void b_main_sink(void * void_data_ptr){unsigned int * data_ptr=(unsigned int *)void_data_ptr;unsigned int data=(*data_ptr);{unsigned int result=data * 2;printUnsignedLine(result);}}
static void main(){unsigned int data;data=0;data=(unsigned int)RAND32();b_main_sink(&data);}void b_main_sink(void * void_data_ptr){unsigned int * data_ptr=(unsigned int *)void_data_ptr;unsigned int data=(*data_ptr);{unsigned int result=-1;if (data <=(UINT_MAX/2)){result=data * 2;printUnsignedLine(result);}else{printLine("Input value is too large to perform arithmetic safely.");}}}