pub const WMT_RIGHT_SDMI_TRIGGER: WMT_RIGHTS = 65536i32;