The statements in the body of a do$-$while loop are executed

exactly once

at least once

only if the test condition is initially true

until the test condition becomes true