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