DEFPTRTYPE
DEFPTRTYPE(ptr_fast_armor, fast_armor);
DEFPTRTYPE(oid_data_ptr, oid_data);
DEFPTRTYPE(ptr_fast_req_padata, fast_req_padata);
DEFPTRTYPE(ptr_kdc_req_body, kdc_req_body);
DEFPTRTYPE(ptr_fast_finished, fast_finished);
DEFPTRTYPE(realm_of_principal, realm_of_principal_data);
DEFPTRTYPE(princ_plus_realm, princ_plus_realm_data);
DEFPTRTYPE(ptr_seqof_princ_plus_realm, seqof_princ_plus_realm);
DEFPTRTYPE(principal, principal_data);
DEFPTRTYPE(ptr_algorithm_identifier, algorithm_identifier);
DEFPTRTYPE(ptr_seqof_algorithm_identifier, seqof_algorithm_identifier);
DEFPTRTYPE(ptr_kdf_alg_id, kdf_alg_id);
DEFPTRTYPE(ptr_supported_kdfs, supported_kdfs);
DEFPTRTYPE(pkinit_krb5_principal_name, pkinit_krb5_principal_name_data);
DEFPTRTYPE(pachecksum2_ptr, pachecksum2);
DEFPTRTYPE(external_principal_identifier_ptr, external_principal_identifier);
DEFPTRTYPE(ptr_seqof_external_principal_identifier,
DEFPTRTYPE(typed_data_ptr, typed_data);
DEFPTRTYPE(otp_tokeninfo_ptr, otp_tokeninfo);
DEFPTRTYPE(ptr_seqof_otp_tokeninfo, seqof_otp_tokeninfo);
DEFPTRTYPE(vmac_ptr, vmac);
DEFPTRTYPE(vmacs_ptr, vmacs);
DEFPTRTYPE(spake_factor_ptr, spake_factor);
DEFPTRTYPE(ptr_seqof_spake_factor, seqof_spake_factor);
DEFPTRTYPE(address_ptr, address);
DEFPTRTYPE(ptr_seqof_host_addresses, seqof_host_addresses);
DEFPTRTYPE(authdata_elt_ptr, authdata_elt);
DEFPTRTYPE(auth_data_ptr, auth_data);
DEFPTRTYPE(ptr_authdata_elt_type, authdata_elt_type);
DEFPTRTYPE(ptr_encryption_key, encryption_key);
DEFPTRTYPE(checksum_ptr, checksum);
DEFPTRTYPE(ptr_seqof_checksum, seqof_checksum);
DEFPTRTYPE(last_req_ent_ptr, last_req_ent);
DEFPTRTYPE(last_req_ptr, last_req);
DEFPTRTYPE(pa_data_ptr, pa_data);
DEFPTRTYPE(ptr_seqof_pa_data, seqof_pa_data);
DEFPTRTYPE(ticket_ptr, ticket);
DEFPTRTYPE(ptr_seqof_ticket, seqof_ticket);
DEFPTRTYPE(int32_ptr, int32);
DEFPTRTYPE(cred_info_ptr, cred_info);
DEFPTRTYPE(ptrseqof_cred_info, seqof_cred_info);
DEFPTRTYPE(etype_info_entry_ptr, etype_info_entry);
DEFPTRTYPE(etype_info2_entry_ptr, etype_info2_entry);
DEFPTRTYPE(ostring_data_ptr, ostring_data);
DEFPTRTYPE(saved_safe_body_ptr, der_data);
DEFPTRTYPE(safe_checksum_only_ptr, safe_checksum_only);
DEFPTRTYPE(gstring_data_ptr, gstring_data);
DEFPTRTYPE(utf8_data_ptr, utf8_data);
DEFPTRTYPE(ptr_key_data, key_data);