I came across the problem that I want to convert from a std::vector to a std::vector. I was wondering if
std::vector