Listing 11.42.