Used to implement run-time diagnostics in programs. Syntax: #include <assert.h> void assert(int expression);