DEFAPPTAGGEDTYPE
DEFAPPTAGGEDTYPE(krb5_cred, 22, untagged_cred);
DEFAPPTAGGEDTYPE(enc_cred_part, 29, untagged_enc_cred_part);
DEFAPPTAGGEDTYPE(krb5_error, 30, untagged_krb5_error);
DEFAPPTAGGEDTYPE(ticket, 1, untagged_ticket);
DEFAPPTAGGEDTYPE(krb5_authenticator, 2, untagged_krb5_authenticator);
DEFAPPTAGGEDTYPE(enc_tkt_part, 3, untagged_enc_tkt_part);
DEFAPPTAGGEDTYPE(enc_tgs_rep_part, 26, enc_kdc_rep_part);
DEFAPPTAGGEDTYPE(as_rep, 11, untagged_as_rep);
DEFAPPTAGGEDTYPE(tgs_rep, 13, untagged_tgs_rep);
DEFAPPTAGGEDTYPE(ap_req, 14, untagged_ap_req);
DEFAPPTAGGEDTYPE(ap_rep, 15, untagged_ap_rep);
DEFAPPTAGGEDTYPE(ap_rep_enc_part, 27, untagged_ap_rep_enc_part);
DEFAPPTAGGEDTYPE(as_req, 10, untagged_as_req);
DEFAPPTAGGEDTYPE(tgs_req, 12, untagged_tgs_req);
DEFAPPTAGGEDTYPE(krb5_safe, 20, untagged_krb5_safe);
DEFAPPTAGGEDTYPE(krb5_safe_with_body, 20, untagged_krb5_safe_with_body);
DEFAPPTAGGEDTYPE(krb5_priv, 21, untagged_priv);
DEFAPPTAGGEDTYPE(priv_enc_part, 28, untagged_priv_enc_part);