sig
  val do_echo : string list -> string -> unit
  val echo : string list -> string -> unit -> string
end