-#define CHECK(c) \
- if (!(c)) \
- Internal (_MsgCheckFailed, #c, c, __FILE__, __LINE__)
-
-#define PRECONDITION(c) \
- if (!(c)) \
- Internal (_MsgPrecondition, #c, c, __FILE__, __LINE__)
-
-#define FAIL(s) \
- Internal (_MsgFail, s, __FILE__, __LINE__)
-