Symbol: asn1_decode_sequence_of_external_principal_identifier