DEFFNTYPE
DEFFNTYPE(seqno, uint32_t, encode_seqno, decode_seqno, check_seqno, NULL);
DEFFNTYPE(kerberos_time, krb5_timestamp, encode_kerberos_time,
DEFFNTYPE(krb5_flags, krb5_flags, encode_krb5_flags, decode_krb5_flags,
DEFFNTYPE(last_req_type, int32_t, encode_lr_type, decode_lr_type,
DEFFNTYPE(kdc_req_body, krb5_kdc_req, encode_kdc_req_body, decode_kdc_req_body,