DEFCTAGGEDTYPE
DEFCTAGGEDTYPE(NAME, TAG, NAME##_untagged)
DEFCTAGGEDTYPE(NAME, TAG, NAME##_untagged)
DEFCTAGGEDTYPE(fast_rep_0, 0, encrypted_data);
DEFCTAGGEDTYPE(princ_plus_realm_0, 0, principal_data);
DEFCTAGGEDTYPE(princ_plus_realm_1, 1, realm_of_principal_data);
DEFCTAGGEDTYPE(kdf_alg_id_0, 0, oid_data);
DEFCTAGGEDTYPE(pkinit_princ_0, 0, realm_of_principal_data);
DEFCTAGGEDTYPE(pkinit_princ_1, 1, principal_data);
DEFCTAGGEDTYPE(pa_pk_as_rep_0, 0, dh_rep_info);
DEFCTAGGEDTYPE(pa_spake_0, 0, spake_support);
DEFCTAGGEDTYPE(pa_spake_1, 1, spake_challenge);
DEFCTAGGEDTYPE(pa_spake_2, 2, spake_response);
DEFCTAGGEDTYPE(pa_spake_3, 3, encrypted_data);
DEFCTAGGEDTYPE(authdata_elt_type_0, 0, int32);
DEFCTAGGEDTYPE(ticket_0, 0, krb5_version);
DEFCTAGGEDTYPE(authenticator_0, 0, krb5_version);
DEFCTAGGEDTYPE(kdc_rep_0, 0, krb5_version);
DEFCTAGGEDTYPE(ap_req_0, 0, krb5_version);
DEFCTAGGEDTYPE(ap_req_1, 1, ap_req_msg_type);
DEFCTAGGEDTYPE(ap_rep_0, 0, krb5_version);
DEFCTAGGEDTYPE(ap_rep_1, 1, ap_rep_msg_type);
DEFCTAGGEDTYPE(kdc_req_1, 1, krb5_version);
DEFCTAGGEDTYPE(kdc_req_4, 4, kdc_req_body);
DEFCTAGGEDTYPE(as_req_2, 2, as_req_msg_type);
DEFCTAGGEDTYPE(tgs_req_2, 2, tgs_req_msg_type);
DEFCTAGGEDTYPE(safe_0, 0, krb5_version);
DEFCTAGGEDTYPE(safe_1, 1, safe_msg_type);
DEFCTAGGEDTYPE(safe_2, 2, safe_body);
DEFCTAGGEDTYPE(priv_0, 0, krb5_version);
DEFCTAGGEDTYPE(priv_1, 1, priv_msg_type);
DEFCTAGGEDTYPE(cred_0, 0, krb5_version);
DEFCTAGGEDTYPE(cred_1, 1, cred_msg_type);
DEFCTAGGEDTYPE(error_0, 0, krb5_version);
DEFCTAGGEDTYPE(error_1, 1, error_msg_type);
DEFCTAGGEDTYPE(ldap_key_seq_0, 0, one);
DEFCTAGGEDTYPE(ldap_key_seq_1, 1, one);
DEFCTAGGEDTYPE(krbsalt_1, 1, krbsalt_salt_if_present);
DEFCTAGGEDTYPE(key_data_0, 0, key_data_salt_if_present);
DEFCTAGGEDTYPE(key_data_1, 1, encryptionkey);