loop { # begin of enclosing block

  # pre-test code

} while ( some_condition() ) {

  # post-test code;

}