Listing 9.10