Constant USER_STACK_START 

pub const USER_STACK_START: u64 = 0x0000_7000_0000_0000;