Constant obs_key_OBS_KEY_CCEDILLA 

pub const obs_key_OBS_KEY_CCEDILLA: obs_key = 196;