Use std::copy()