For a do loop, we'll convert the following
do { body; } while (cond);
into the following:
body; if (cond) { do { body; } while (cond); }
Again, the semantics are preserved; the body of a do must be executed at least once; after that, if the conditional, cond, is still true, we continue with the do loop.