{ 
  ... ; 
  redo if COND; 
}
##</code><code>##

do {
  ...
} 
while (COND)