Diagnostics <assert.h>
This header defines the assert macro which can help you putting run-time diagnostics into a program.
assert
program debugging function