9.5.2 示例