object
  method char : char -> unit
  method substring : string -> int -> int -> unit
end