Replacement of ArrayOfInts with std::vector.