public static int bytesToPages(VM_Extent bytes) { int pages = bytesToPagesUp(bytes); if (VM_Interface.VerifyAssertions) VM_Interface._assert(pagesToAddress(pages).toWord().toExtent().EQ(bytes)); return pages;
public static int bytesToPages(int bytes) { return bytesToPages(VM_Extent.fromIntZeroExtend(bytes));
  public static int bytesToPages(VM_Extent bytes) {    int pages = bytesToPagesUp(bytes);    if (VM_Interface.VerifyAssertions) VM_Interface._assert(pagesToAddress(pages).toWord().toExtent().EQ(bytes));    return pages;  }