object
  method deleg_credential : (exn * Netsys_gssapi.time) option
  method flags : Netsys_gssapi.ret_flag list
  method initiator_name : string * Netsys_gssapi.oid
  method initiator_name_exported : string
  method mech_type : Netsys_gssapi.oid
  method time : Netsys_gssapi.time
end