do {
  ...
} 
while (COND)