CHECK オプションの CONFORMANCE サブオプションを指定すると、コンパイラーは一部の プロシージャーのプロローグに追加のコードを生成して、渡されたパラメーター が、プロシージャーによって期待されているものであるかどうかを検査します。
このオプションが適用される時点、このオプションが行う機能、およびコードのテストを展開する場合にこのオプションが非常に便利なツールになりうることについての詳細は、「プログラミング・ガイド」を参照してください。