Exercise 9.07 What type should be used as the index into a vector of ints? Solution It should be a std::vector<int>::size_type.