不属于程序检查的是____。