void set_index(zero index)
If this function is defined it should set the iterator at the specified index.
It should be possible to set the index at the end of the iterator.