Constant HOTKEYF_ALT 

pub const HOTKEYF_ALT: u32 = 4u32;