Help for this page
while ( 1 ) { ... # yadda yadda }
loop { # begin of enclosing block ... # post-test code; }
{ ... redo; }