asn1_decode_krb_cred_info
decode_array_body(krb5_cred_info,asn1_decode_krb_cred_info);
asn1_error_code asn1_decode_krb_cred_info