Constant obs_key_OBS_KEY_EXPLORER 

pub const obs_key_OBS_KEY_EXPLORER: obs_key = 354;