| After (* pointer to the code after an if or while *)
| FallThrough | LoopFallThrough
| Return (* any exit from the current function *)
| After (* pointer to the code after an if or while *)
| FallThrough | LoopFallThrough
| Return (* any exit from the current function *)