Fleshing out the code of Example 6.73 is the task of Exercise 6.20.