Constant obs_key_OBS_KEY_MOUSE24 

pub const obs_key_OBS_KEY_MOUSE24: obs_key = 456;