Listing 9.32.