<*ASSERT <boolean expr>*>The pragma <*ASSERT expr*> may appear anywhere a statement may appear. It is a static error if "expr" is not of type BOOLEAN. At runtime "expr" is evaluated. It is a checked runtime error if the result is FALSE. Assertion checking can be disabled with the -a compiler switch.