var PAGE_SHIFT: Int32 { get }