Constant obs_key_OBS_KEY_STOP 

pub const obs_key_OBS_KEY_STOP: obs_key = 277;