TDD mini-framework for GCC C