object
  method add_packet : Jabber.packet -> unit
  method get_state : unit -> Jabbersm.state
end