/CHECK
    /NOCHECK

    Controls whether all run-time checks are suppressed. The /NOCHECK
    qualifier is equivalent to having all possible SUPPRESS pragmas
    in the source code.

    Explicit use of the /CHECK qualifier overrides any occurrences of
    the pragmas SUPPRESS and SUPPRESS_ALL in the source code, without
    the need to edit the source code.

    By default, run-time checks are suppressed only in cases where a
    pragma SUPPRESS or SUPPRESS_ALL appears in the source code.

    See the DEC Ada Language Reference Manual for more information on
    the pragmas SUPPRESS and SUPPRESS_ALL.