instrumented code for coverage reports