Constant SV39_BOT_HALF_TOP 

pub const SV39_BOT_HALF_TOP: usize = 0x0000_003f_ffff_ffff;