Constant KEYMODIFIER_EXT 

pub const KEYMODIFIER_EXT: KEYMODIFIER;