return "Addr 0x" + Long.toHexString(value.toLong());  return "Addr 0x" + Integer.toHexString(value.toInt());
return "Addr " + VM.addressAsHexString(value);
  public String toString() {    //-#if RVM_FOR_64_ADDR    return "Addr 0x" + Long.toHexString(value.toLong());    //-#elif RVM_FOR_32_ADDR    return "Addr 0x" + Integer.toHexString(value.toInt());    //VM.AddressAsHexString    //-#endif  }