3.12.5.2. LOOP

*FIXME: