PROCassert(a% = 42)
      END

      DEF PROCassert(bool%)
      IF NOT bool% THEN ERROR 100, "Assertion failed"
      ENDPROC