Constant SV39_BOT_HALF_BASE 

pub const SV39_BOT_HALF_BASE: usize = 0x0000_0000_0000_0000;