while

For a while loop, we'll transform the following

        while (cond) body;

into the following:

        if (cond) {
                body;
                while (cond) body;
        }

The original meaning is preserved; nothing is executed if the conditional is false, and the inner while loop is still guarded by the same conditional.