vector to std::vector