Constant obs_key_OBS_KEY_DEAD_DIAERESIS 

pub const obs_key_OBS_KEY_DEAD_DIAERESIS: obs_key = 263;