4.9.1 可测试性的例子