static void main_sink(){int data=_main_data;{int result=data * 2;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=-1;if (data <=(INT_MAX/2)){result=data * 2;printIntLine(result);}else{printLine("Input value is too large to perform arithmetic safely.");}}}static void main(){int data;data=-1;data=RAND32();_main_data=data;main_sink();}