object
  method get_request : unit -> string
  method send_reply : string -> unit
end