no-herd GNU Nana is a free library providing improved support for assertion checking (as in assert.h) and logging (printf style debugging) in GNU C and C++. It provides support for some of the ideas of Eiffel, VDM, Z and Anna in GNU C/C++.