Implement Listing 13.25