local
     c : COLLECTION [G] 
     it : ITERATOR
  do
     from it := c.iterator 
     until it.finished 
     loop 
	if c.item (it) = ... then 
	   it.stop 
	else 
	   do_something_with (c.item (it))
	end -- if
	it.forth
     end -- loop
  end -- example