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