ADA, Positional Qualifiers, /CHECK
*Conan The Librarian
/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.