/CHECK[=(option[,...])] D=/CHECK=(BOUNDS,DECLARATIONS)

 /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.