DEFFNXTYPE
DEFFNXTYPE(kerberos_time, krb5_timestamp, asn1_encode_kerberos_time_at);
DEFFNXTYPE(krb5_flags, krb5_flags, asn1_encode_krb5_flags_at);
DEFFNXTYPE(kdc_req_body, krb5_kdc_req, asn1_encode_kdc_req_body);
DEFFNXTYPE(sam_challenge_2, krb5_sam_challenge_2, asn1_encode_sam_challenge_2);