var PAGE_SIZE: UInt { get }