This statement is definitely reachable. Actually it's the only way to `break` out of the `while` look.