Constant EVENT_SYSTEM_DESKTOPSWITCH 

pub const EVENT_SYSTEM_DESKTOPSWITCH: u32 = 32u32;