3.12.6. DO ... +LOOP

*FIXME: