Constant PAGE_MASK 

const PAGE_MASK: usize = 0xfff;