Constant PAGE_SHIFT 

pub const PAGE_SHIFT: i32 = 12i32;