Code Editor : instrumented.h