return new Extent(value - byteSize.value);
return new Extent(value - byteSize);
  public Extent minus(Extent byteSize) throws UninterruptibleNoWarnPragma {    if (VM.VerifyAssertions && VM.runningVM) VM._assert(VM.NOT_REACHED);    return new Extent(value - byteSize.value);  }