class PageList {

    int getPageCount()
    {
        return pageCount;
    }

      PageList( int pageCount, int cachePageSize, MemoryAllocator memoryAllocator, SwapperSet swappers,
              long victimPageAddress, long bufferAlignment );
      PageList( PageList pageList );

}