var AT_PAGESZ: Int32 { get }