return Offset.fromIntZeroExtend(value - addr2.value);  return Offset.fromLong(value - addr2.value);
return new Address(value - addr2.value).toWord().toOffset();
  public Offset diff(Address addr2) throws UninterruptibleNoWarnPragma {    if (VM.VerifyAssertions && VM.runningVM) VM._assert(VM.NOT_REACHED);    //-#if RVM_FOR_32_ADDR    return Offset.fromIntZeroExtend(value - addr2.value);    //-#elif RVM_FOR_64_ADDR    return Offset.fromLong(value - addr2.value);    //-#endif  }