Constant ID_MAP_END 

pub const ID_MAP_END: u64 = 0xffff_8010_0000_0000;