Constant obs_key_OBS_KEY_SYSREQ 

pub const obs_key_OBS_KEY_SYSREQ: obs_key = 11;