object
  method add_data : string -> int -> int -> unit
  method default_ns_URI : unit -> string
  method get_state : unit -> Xmlstream.xml_stream_state
  method pull_ele : unit -> Yaxpodom.ele
  method pull_handshake : unit -> Yaxpodom.qname * Yaxpodom.att list
  method stream_ns_URI : unit -> string
  method stream_ns_decls : unit -> Yaxpodom.att list
  method stream_ns_pfx : unit -> string
end