Instrumented another file