LOOP statements iterate the specified procedural statement until a LEAVE or other statement exits the loop.

[<label> :] LOOP <procedural_statement> END LOOP [<label>]
label
(optional) is the identifier for the LOOP statement that can be referenced by other statements. If specified, the label at the beginning of the statement must match the label at the end.
procedural_statement
is the procedural statement to be iterated until the loop is exited.