Symbol: asn1_encode_oid