void _main(){int data;data=-1;{char input_buf[CHAR_ARRAY_SIZE]="";fgets(input_buf, CHAR_ARRAY_SIZE, stdin);data=atoi(input_buf);}{int result=data * 2;printIntLine(result);}}
static void main(){int data;data=-1;data=5;{int result=data * 2;printIntLine(result);}}