Similar comments apply for `new_iterator` below.