3.3 一个简单的JIT系统的建模问题