Modula-3 provides the Pascal loop constructs FOR, WHILE and REPEAT, as well as the LOOP statement, which loops infinitely. In addition, the EXIT statement can appear in any loop construct, and causes the innermost loop to terminate when it is executed.