The shorthand `_ASSERT` should throw an exception instead of exiting. The use of `exit` should be avoided. (What is more, `_ASSERT` must be documented).