if (VM.VerifyAssertions) VM.assert(!updatedOnce);
if (VM.VerifyAssertions) VM._assert(!updatedOnce);
  public void updateReturnAddressLocation(int newLocation) {    if (VM.VerifyAssertions) VM.assert(!updatedOnce);    updatedOnce = true;    returnAddressLocation = newLocation;  }