Constant HOTKEYF_EXT 

pub const HOTKEYF_EXT: u32 = 8u32;