void b_main_sink(int data_array[]);void _main(){int data;int data_array[5];data=-1;fscanf (stdin, "%d", &data);data_array[2]=data;b_main_sink(data_array);}void b_main_sink(int data_array[]){int data=data_array[2];{int result=data * 2;printIntLine(result);}}
static void main(){int data;int data_array[5];data=-1;data=5;data_array[2]=data;b_main_sink(data_array);}void b_main_sink(int data_array[]){int data=data_array[2];{int result=data * 2;printIntLine(result);}}