Constant obs_key_OBS_KEY_PAUSE 

pub const obs_key_OBS_KEY_PAUSE: obs_key = 9;