Listing 9.7.