Constant WMT_RIGHT_SDMI_TRIGGER 

pub const WMT_RIGHT_SDMI_TRIGGER: WMT_RIGHTS;