Implement ch2.3.4's examples