std::copy(v, v + sizeof v / sizeof *v, vec.begin());