5.1.2 一个例子