Listing 9.42.