Constant obs_key_OBS_KEY_SHIFT 

pub const obs_key_OBS_KEY_SHIFT: obs_key = 21;