re #10489 Save a copy of a vector