Constant obs_key_OBS_KEY_ALTGR

pub const obs_key_OBS_KEY_ALTGR: obs_key = 25;