Constant HOTKEYF_ALT

pub const HOTKEYF_ALT: u32 = 4u32;