Now with test coverage (for C code)