Constant obs_key_OBS_KEY_TWOSUPERIOR 

pub const obs_key_OBS_KEY_TWOSUPERIOR: obs_key = 175;