instrumenting code for coverage