int    index  = hpm.getFullIndex();
Offset index  = hpm.getFullIndex();
  void thresholdReached()   {    // flush full buffer    if(VM_HardwarePerformanceMonitors.verbose>=4)      VM.sysWriteln("VM_TraceWriter.thresholdReached() write full buffer ",hpm.getNameOfFullBuffer());    byte[] buffer = hpm.getFullBuffer();    int    index  = hpm.getFullIndex();    writeFileOutputStream(buffer, index);    hpm.resetFull();      }