/NOCHECK

  Directs the compiler to generate code to perform run-time checks
  indicated by the following options:

     ALL
       Generates checking code for all options.

     NONE
       Suppresses all checking code.

     [NO]BOUNDS
       Verifies that an index expression is within the bounds of an
       array's index type, that character-string sizes are compatible,
       and that schemata are compatible.

     [NO]CASE_SELECTORS
       Verifies that the value of a case selector is contained in the
       corresponding case-label list.

     [NO]DECLARATIONS
       Verifies that schema definitions yield valid types and that uses
       of GOTO statements from one block to an enclosing block are
       correct.  Also controls whether the ASSERT statement is processed.

     [NO]OVERFLOW
       Verifies that the result of an integer computation does not
       exceed machine representation.

     [NO]POINTERS
       Verifies that the value of a pointer variable is not NIL.

     [NO]SUBRANGE
       Verifies that values assigned to variables of subrange types are
       within the subrange; verifies that a set expression is assignment
       compatible with a set variable, and that MOD operates on
       positive numbers.

  The BOUNDS  and  DECLARATIONS  are  the  only  checking  options
  enabled  by  default.   The  /CHECK qualifier without options is
  equivalent to /CHECK=ALL.  The negation /NOCHECK  is  equivalent
  to /CHECK=NONE.

  The CHECK attribute in the source program  or  module  overrides
  the /CHECK qualifier on the command line.