When assert is executed, if expression is false (that is, it
    evaluates to 0), assert writes information about the particular
    call that failed (including the text of the argument, the name of
    the source file, and the source line number; the latter two are,
    respectively, the values of the preprocessing macros __FILE__
    and __LINE__)  to the standard error file in an implementation-
    defined format. Then, it calls the abort function.

    The assert function writes a message in the following form:

    Assertion failed:  expression, file aaa, line nnn

    If expression is true (that is, it evaluates to nonzero) or if
    the signal SIGABRT is being ignored, assert returns no value.

                                   NOTE

       If a null character ('\0') is part of the expression being
       asserted, then only the text up to and including the null
       character is printed, since the null character effectively
       terminates the string being output.

    Compiling with the CC command qualifier /DEFINE=NDEBUG or with
    the preprocessor directive #define NDEBUG ahead of the #include
    assert statement causes the assert function to have no effect.