pred/succ functions and iterators