Constant obs_key_OBS_KEY_YDIAERESIS 

pub const obs_key_OBS_KEY_YDIAERESIS: obs_key = 222;