print_int(input_byte stdin)