void b_main_sink(int * data_ptr);void _main(){int data;data=-1;data=INT_MAX;b_main_sink(&data);}void b_main_sink(int * data_ptr){int data=*data_ptr;{int result=data * 2;printIntLine(result);}}
static void main(){int data;data=-1;data=INT_MAX;b_main_sink(&data);}void b_main_sink(int * data_ptr){int data=*data_ptr;{int result=-1;if (data <=(INT_MAX/2)){result=data * 2;printIntLine(result);}else{printLine("Input value is too large to perform arithmetic safely.");}}}