Constant obs_key_OBS_KEY_LEFT 

pub const obs_key_OBS_KEY_LEFT: obs_key = 15;