Rename vec in initial example so as to not collide with std::vec