Figure 6: Source Code Formatted with Action Diagrams