4.3.3 Machine示例