Implement ch1.3.3's examples