k5_asn1_decode_atype
k5_asn1_decode_atype(const taginfo *t, const uint8_t *asn1, size_t len,
ret = k5_asn1_decode_atype(t, asn1, len, &k5_atype_kdc_req_body_hack, &h);