9.3.3 程序转换与检查