coverage_notice and test.uc uses it. Doesn't work yet.