A loop statement to iterate a statement block until an expression at the start of each iteration evaluates to false.
