`vector` is out of namespace here.