Constant obs_key_OBS_KEY_ECIRCUMFLEX 

pub const obs_key_OBS_KEY_ECIRCUMFLEX: obs_key = 199;