Figure 11-4: Control flow notation