Constant WMIGUID_EXECUTE 

pub const WMIGUID_EXECUTE: u32 = 16u32;