Symbol: ec_asn1_encode_field_element