object method close : unit method write : string -> unit end