Constant HOTKEYF_SHIFT

pub const HOTKEYF_SHIFT: u32 = 1u32;