loop-statement = LOOP { block } END .
This particular form of a loop exists in some other Pascal-like languages such as MODULA or OBERON.
Formally it is equivalent to:
REPEAT { block } UNTIL FALSE .
It is implemented in PMP as an "extended syntax". If the “Extended syntax” project's option is not active it will produce a compilation error.
The loop flow may also be controlled via BREAK and CONTINUE statements.