Figure 2: Unwinding the program stack