do { BLOCK } while ( COND );