Example of using cmocka c test framework, and TDD