Constant uikit_sys::PAGE_MIN_SHIFT

pub const PAGE_MIN_SHIFT: u32 = 12;