if (page.getPageHeader().getStatus() == UNUSED)
if (page.getPageHeader().getStatus() < RECORD)
    private DataPage getPageForRedo(long pos) throws IOException {        DataPage wp = (DataPage) dataCache.get(pos);        if (wp == null) {            final Page page = getPage(pos);            final byte[] data = page.read();            if (page.getPageHeader().getStatus() == UNUSED)                return null;            if (page.getPageHeader().getStatus() == MULTI_PAGE)                return new OverflowPage(page, data);            return new SinglePage(page, data, true);        } else if (wp.getPageHeader().getStatus() == MULTI_PAGE)            return new OverflowPage(wp);        else            return wp;    }