10.8 轻松一下——程序检验的限制