Loops are executed until value sets of variables inside the loop body stop expanding. Because lower and upper bounds and WHILE conditions are ignored, the resulting sets of variable values may be superfluous.
DO statements with a cyclic header are always treated as a loop control flow construction, though the body of this statement can be executed only once when the program is executed (for example, DO I=1;).