object
  method get_tid_e : unit -> int64 Uq_engines.engine
  method release_e : unit -> unit Uq_engines.engine
end