Uses a class from Example16_3a.cs