Check in Listing 9.25