>I believe that Basic (and perhaps others) have a WHILE - WEND where the code is always evaluated at least once and the loop control is at the bottom.

Pascal has a REPEAT-UNTIL construct that works that way:

REPEAT
* do something
UNTIL condition

Tamar