The counterpart of WHILE-DO constructs is the REPEAT-UNTIL construct. This executes the body, then checks a condition at 'UNTIL'. If the expression evaluates to FALSE, it branches back to the top of the body (marked by 'BEGIN') again. It executes at least once. This program calculates the largest common divisor.

: lcd
     begin
           swap over mod                  \ body
           dup 0=                         \ condition
     until drop . ;

If you enter "27 21 lcd" the programs will answer "3".