BEGIN code1 flag WHILE code2 REPEAT
code1 が実行され、 flag が計算されます。 flag が true の場合、 code2 が実行され、
BEGIN からループが再開されます。 flag が false の場合、 REPEAT の後へ実行が続行されます。
BEGIN code flag UNTIL
code が実行されます。 flag が false の場合、 BEGIN からループが再開されます。
プログラミング・スタイル・メモ: コードを理解しやすくするために、 ループの完全な反復(complete iteration)によってスタック上の項目の数と型が変更されるべきではありません。
BEGIN code AGAIN
これは無限ループです。