if(options.verbose>=1) System.out.print(index+" ");
  static private void printTraceRecord(TraceRecord tr, int index)  {    if (tr instanceof TraceCounterRecord) {      TraceCounterRecord tcr = (TraceCounterRecord)tr;      if (options.tid != CommandLineOptions.UNINITIALIZED && options.tid != Math.abs(tcr.tid)) return;      if (options.no_yields && tcr.tid < 0) return;      if(options.verbose>=1) System.out.print(index+" ");      if(options.verbose>=3) System.out.print(tcr.buffer_code+" ");      tcr.print();    } else {      tr.print();    }  }