Constant HOTKEYF_EXT

pub const HOTKEYF_EXT: u32 = 8u32;