Executes statements in a loop while a condition is true. Because the condition is tested at the end of the loop, the statements inside it are always