numAddresses++;
  public void setAddressWord(int offset, VM_Word value) {//-#if RVM_FOR_32_ADDR    setFullWord(offset, value.toInt());//-#endif//-#if RVM_FOR_64_ADDR    setDoubleWord(offset, value.toLong());//-#endif  }