10.6.7.4 ASSERT(exp, message)

Ensure that exp is non-zero. If it is zero, then exit the linker with an error code, and print message. E.g.,

__CHECK = ASSERT(1, "OK");