Symbol: EC_POINT_is_on_curve