generating (I believe) correct instrumented bitcode