Listing 9.5, 9.6