Constant obs_key_OBS_KEY_TOOLS 

pub const obs_key_OBS_KEY_TOOLS: obs_key = 382;