check_iterator();
try {
element.value = collection.element_retrieve( pos );
} catch ( PositionInvalid e ){
invalidate();
throw new IteratorInvalid( IteratorInvalidReason.is_invalid );
};
more.value = (get_pos() > 0);
return set_to_previous_element();
}
};