vector is copyable