object
  method input_byte : unit -> int
  method input_char : unit -> char
  method input_line : unit -> string
  method really_input : string -> int -> int -> unit
end