The assert.h header file provides a debugging macro, assert, that outputs a diagnostic message and stops the program if a test fails.