Coverage via unit-test framework, not regression-test framework
