Constant uikit_sys::PAGE_MAX_SHIFT

pub const PAGE_MAX_SHIFT: u32 = 12;