Constant obs_key_OBS_KEY_TREBLEDOWN 

pub const obs_key_OBS_KEY_TREBLEDOWN: obs_key = 286;