internal static void TraceInstruction(string instruction)
 {
     CodeGenerationTraceSource.TraceEvent(TraceEventType.Verbose, 0, instruction);
 }
 internal static void WriteInstruction(int lineNumber, string instruction)
 {
     CodeGenerationTraceSource.TraceInformation("{0:00000}: {1}", lineNumber, instruction);
 }