Listing 10.7, 10.8, 10.9