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