TMC extension to the Check unit test library (for C)