unsigned int b_main_source(unsigned int data);void _main(){unsigned int data;data=0;data=b_main_source(data);{unsigned int result=data * 2;printUnsignedLine(result);}}unsigned int b_main_source(unsigned int data){data=(unsigned int)RAND32();return data;}
static void main(){unsigned int data;data=0;data=b_main_source(data);{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.");}}}unsigned int b_main_source(unsigned int data){data=(unsigned int)RAND32();return data;}