Check: A unit test framework for C