Figure 2: Type 2 code generator with intermediate design model
