Listing 9.6.