Figure 2.13 Case_Ex Implementation