public static int bytesToPages(Extent bytes) { int pages = bytesToPagesUp(bytes); if (VM.VERIFY_ASSERTIONS) VM.assertions._assert(pagesToAddress(pages).toWord().toExtent().EQ(bytes)); return pages;
public static int bytesToPages(int bytes) { return bytesToPages(Extent.fromIntZeroExtend(bytes));
  public static int bytesToPages(Extent bytes) {    int pages = bytesToPagesUp(bytes);    if (VM.VERIFY_ASSERTIONS) VM.assertions._assert(pagesToAddress(pages).toWord().toExtent().EQ(bytes));    return pages;  }