private void allocate_page (PageId pageno, int num) throws 
    BufMgrException {
    
    try {
      SystemDefs.JavabaseDB.allocate_page(pageno, num);
    } catch (Exception e) {
      throw new BufMgrException(e, "BUFMGR: allocate_page() failed");
    } // end try
  } // end allocate_page()