Specifying the CONFORMANCE suboption of the CHECK option will cause the compiler to generate extra code in the prologue of some procedures to check that the parameters passed match what those procedures expect.
The Programming Guide describes in more detail when this option applies and what it will do, and it can be a very useful tool in development to test your code.