Listing 14.10, 14.11, 14.12