Update InstTraceLib.c