IMP解释器第二篇。