_gsskrb5_encode_om_uint32
_gsskrb5_encode_om_uint32 (16, p);
_gsskrb5_encode_om_uint32 (flags, p);
_gsskrb5_encode_om_uint32 (b->initiator_addrtype, num);
_gsskrb5_encode_om_uint32 (b->initiator_address.length, num);
_gsskrb5_encode_om_uint32 (b->acceptor_addrtype, num);
_gsskrb5_encode_om_uint32 (b->acceptor_address.length, num);
_gsskrb5_encode_om_uint32 (b->application_data.length, num);
_gsskrb5_encode_om_uint32 (
_gsskrb5_encode_om_uint32(authtime, buf);
_gsskrb5_encode_om_uint32(tkt_flags, buf);