if      (buffer_code == ONE) { return index_2; } else if (buffer_code == TWO) { return index_1; }
if      (buffer_code == ONE) { return index_1; } else if (buffer_code == TWO) { return index_2; }
  public int getCurrentIndex() throws VM_PragmaLogicallyUninterruptible  {    if      (buffer_code == ONE) { return index_2; }     else if (buffer_code == TWO) { return index_1; }     else {       VM.sysWrite("***VM_HPM.getCurrentIndex() buffer_code = ",buffer_code,", but must be 1 or 2!***");      VM.shutdown(-10);    }    return -1;   }