`std::vector` looks a bit lonely there in light of your recent cleanup commits.