pub const HOTKEYF_EXT: u32 = 8u32;