void b_main_sink();void _main(){unsigned int data;data=0;data=(unsigned int)RAND32();_main_data=data;b_main_sink();}void b_main_sink(){unsigned int data=_main_data;{unsigned int result=data-1;printUnsignedLine(result);}}
static void main(){unsigned int data;data=0;data=(unsigned int)RAND32();_main_data=data;b_main_sink();}void b_main_sink(){unsigned int data=_main_data;{unsigned int result=0;if (data > 0){result=data-1;printUnsignedLine(result);}else{printLine("Input value is too small to perform arithmetic safely.");}}}