do BLOCK while EXPR;
[download]

is uniquely special case of

EXPR while EXPR;
[download]

The do variant is a bottom tested loop. The loop body will always execute at least once, and will do so before executing the condition expression.