Constant HEAP_MAXIMUM_TAG 

pub const HEAP_MAXIMUM_TAG: u32 = 4095;