Constant obs_key_OBS_KEY_ALTGR 

pub const obs_key_OBS_KEY_ALTGR: obs_key = 25;