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