if (VM.VerifyAssertions) VM.assert(newBoundary.LE(start));
if (VM.VerifyAssertions) VM._assert(newBoundary.LE(start));
  public void extendRegion(VM_Address newBoundary) throws VM_PragmaUninterruptible {      if (sense == FORWARD) {	  if (VM.VerifyAssertions) VM.assert(newBoundary.GE(end));	  end = newBoundary;	  setAuxiliary();      }      else {	  if (VM.VerifyAssertions) VM.assert(newBoundary.LE(start));	  start = newBoundary;	  setAuxiliary();      }  }