public static int readAvailableBitsWord(VM_Address o) { return VM_ObjectModel.readAvailableBitsWord(o).toInt();
public static VM_Word readAvailableBitsWord(VM_Address o) { return VM_ObjectModel.readAvailableBitsWord(o);
  public static int readAvailableBitsWord(VM_Address o) {    return VM_ObjectModel.readAvailableBitsWord(o).toInt();  }