The syntax is do { statements } while (condition);. The loop body runs first, then the condition is checked to decide whether to repeat. If the condition is true after the body runs, the loop repeats.
If false, the loop exits and execution continues with the next statement after the semicolon. Example: int i = 0; do { cout << i; i++; } while (i < 3); prints 0, 1, 2. Even if i started at 5, it would print 5 once before checking the condition.