Listing 7.17