Vector::partition is added