Constant WMI_OBJ_TEXT_WMI_EXT3 

pub const WMI_OBJ_TEXT_WMI_EXT3: WMI_OBJ_TEXT;