Listing 14.13, 14.14