12
for (unsigned i = 0; i < w.size(); ++i) v.push_back(w[i]);
v.insert(v.end(), w.begin(), w.end());