object
  method can_input : bool
  method close_in : unit -> unit
  method input : string -> int -> int -> int
  method pos_in : int
  method request_notification : (unit -> bool) -> unit
end