DEFAPPTAGGEDTYPE
DEFAPPTAGGEDTYPE(ticket, 1, untagged_ticket);
DEFAPPTAGGEDTYPE(authenticator, 2, untagged_authenticator);
DEFAPPTAGGEDTYPE(enc_tkt_part, 3, untagged_enc_tkt_part);
DEFAPPTAGGEDTYPE(enc_as_rep_part, 25, enc_kdc_rep_part);
DEFAPPTAGGEDTYPE(enc_tgs_rep_part, 26, enc_kdc_rep_part);
DEFAPPTAGGEDTYPE(as_rep, 11, kdc_rep);
DEFAPPTAGGEDTYPE(tgs_rep, 13, kdc_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, kdc_req);
DEFAPPTAGGEDTYPE(tgs_req, 12, kdc_req);
DEFAPPTAGGEDTYPE(as_req_encode, 10, untagged_as_req);
DEFAPPTAGGEDTYPE(tgs_req_encode, 12, untagged_tgs_req);
DEFAPPTAGGEDTYPE(safe, 20, untagged_safe);
DEFAPPTAGGEDTYPE(safe_with_body, 20, untagged_safe_with_body);
DEFAPPTAGGEDTYPE(priv, 21, untagged_priv);
DEFAPPTAGGEDTYPE(priv_enc_part, 28, untagged_priv_enc_part);
DEFAPPTAGGEDTYPE(krb5_cred, 22, untagged_cred);
DEFAPPTAGGEDTYPE(enc_cred_part, 29, untagged_enc_cred_part);
DEFAPPTAGGEDTYPE(krb5_error, 30, untagged_krb5_error);