Symbol: EC_POINTs_mul