Listing 7.10