VM_Interface.writeAvailableBitsWord(base,ptr.toInt() | GC_FORWARDED);
VM_Interface.writeAvailableBitsWord(base,ptr.toWord().or(GC_FORWARDED));
  static void setForwardingPointer(VM_Address base, VM_Address ptr) throws VM_PragmaUninterruptible, VM_PragmaInline {    VM_Interface.writeAvailableBitsWord(base,ptr.toInt() | GC_FORWARDED);  }