Similar to while, but guaranteed to run at least once because the condition is checked at the end.