Avoid undefined behavior from passing a std::vector's own contents
in as an argument to push_back.