fm.check, fm.while, fm.ListIterator