Customizable assert macros.
Tools for generic programming.
Static assertions (compile time assertions).
Support for simple program testing, full unit testing, and for program execution monitoring.