The code in example 9.64 has not been tested.
