pub const HOTKEYF_SHIFT: u32 = 1u32;