object
  method abort : unit -> unit
  method close_in : unit -> unit
  method input_record : unit -> string
  method peek_record : unit -> string
  method pos_in : int
end