If B is an expression of type BOOLEAN and S is a statement:
B
BOOLEAN
S
REPEAT S UNTIL B
LOOP S; IF B THEN EXIT END END