Listing 4.17