if (VM_HardwarePerformanceMonitors.hpm_trace_verbose == pid) VM.sysWriteln(", index_2 = ",index_2);
if (VM_HardwarePerformanceMonitors.hpm_trace_verbose == vpid) VM.sysWriteln(", index_2 = ",index_2);
  private void updateBufferIndex()  {    // reset buffer's index value    if (buffer != null) {      if (VM_HardwarePerformanceMonitors.hpm_trace_verbose == pid) VM.sysWrite("VM_HPM.updateBufferIndex() index = ",index);      if        (buffer_code == ONE) {	index_1 = index;	if (VM_HardwarePerformanceMonitors.hpm_trace_verbose == pid) VM.sysWriteln(", index_1 = ",index_1);      } else if (buffer_code == TWO) {	index_2 = index;	if (VM_HardwarePerformanceMonitors.hpm_trace_verbose == pid) VM.sysWriteln(", index_2 = ",index_2);      }    }  }