Use std::next to get the successor of an iterator