if      (buffer_code==ONE) { index_2  = 0; } else if (buffer_code==TWO) { index_1  = 0; }
if      (buffer_code==ONE) { index_2  = Offset.zero(); } else if (buffer_code==TWO) { index_1  = Offset.zero(); }
  public void resetFull() throws LogicallyUninterruptiblePragma  {    if      (buffer_code==ONE) { index_2  = 0; }    else if (buffer_code==TWO) { index_1  = 0; }    else {      VM.sysWrite("***VM_HPM.resetFull() buffer_code = ",buffer_code,", but must be 1 or 2!***");    }  }