Listing 6.9.