GNU Nana is a free library providing improved support for assertion
checking and logging in C and C++. It also provides some support for
``Design by Contract''. The library, source code, and documentation are
available under a Free license. It also provides some support for
statement/function call tracing, performance measurement, and shortform
generation.