static int getForwardingWord(VM_Address base) throws VM_PragmaUninterruptible, VM_PragmaInline {
static VM_Word getForwardingWord(VM_Address base) throws VM_PragmaUninterruptible, VM_PragmaInline {
  static int getForwardingWord(VM_Address base) throws VM_PragmaUninterruptible, VM_PragmaInline {    return VM_Interface.readAvailableBitsWord(base);  }