class PagedVirtualMemory {

    public void setLimit(long vsize) {
        eof = vsize;
        int n = (int) (vsize >> pageBits);
        if (n >= bufferMap.length) {
            int nsize = Math.max(n + 1, (3 * bufferMap.length) / 4);
            bufferMap = Arrays.copyOf(bufferMap, nsize);
            hitCounts = Arrays.copyOf(hitCounts, nsize);
            pageMap = Arrays.copyOf(pageMap, nsize);
        }
    }

    public  PagedVirtualMemory(PagePool pagePool);

}