decode_array_body
decode_array_body(passwd_phrase_element,asn1_decode_passwdsequence);
decode_array_body(krb5_external_principal_identifier,asn1_decode_external_principal_identifier);
decode_array_body(krb5_trusted_ca, asn1_decode_trusted_ca);
decode_array_body(krb5_algorithm_identifier, asn1_decode_algorithm_identifier);
decode_array_body(krb5_typed_data,asn1_decode_typed_data);
decode_array_body(krb5_authdata,asn1_decode_authdata_elt);
decode_array_body(krb5_address,asn1_decode_host_address);
decode_array_body(krb5_ticket,asn1_decode_ticket);
decode_array_body(krb5_cred_info,asn1_decode_krb_cred_info);
decode_array_body(krb5_pa_data,asn1_decode_pa_data);
decode_array_body(krb5_last_req_entry,asn1_decode_last_req_entry);
decode_array_body(krb5_checksum, asn1_decode_checksum);
decode_array_body(krb5_etype_info_entry,asn1_decode_etype_info_entry);
decode_array_body(krb5_etype_info_entry,
decode_array_body(krb5_etype_info_entry,