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