Worked on InstrTracer.cpp.