If the Loop Condition is FALSE, the arrow in the diagram shows
that the next code to execute is Expression 2. (Expression 1 will
be skipped.)