Figure 1: Compilation and execution model.