Symbol: EC_POINT_add