return bytesToPagesUp(VM_Extent.fromInt(bytes));
return bytesToPagesUp(VM_Extent.fromIntZeroExtend(bytes));
  public static int bytesToPagesUp(int bytes) {    return bytesToPagesUp(VM_Extent.fromInt(bytes));  }