7.3 程序检查