<* ASSERT boolean-expr *>
The pragma <* ASSERT boolean-expr *> may appear anywhere a statement may appear. It is a static error if boolean-expr is not of type BOOLEAN. At runtime boolean-expr is evaluated. A FALSE value will result in a runtime check; otherwise the computation continues. Assertion checking can be disabled with the "-a" compiler switch.