Constant HOTKEYF_SHIFT 

pub const HOTKEYF_SHIFT: u32 = 1u32;