9.6.2 更复杂的例子