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