Figure 1: Guest execution loop.