Constant obs_key_OBS_KEY_ONEQUARTER 

pub const obs_key_OBS_KEY_ONEQUARTER: obs_key = 185;