const vector* const