Symbol: valid_asn1_encoding