{ 
  ... ; 
  redo if COND; 
}