Constant obs_key_OBS_KEY_NUMASTERISK 

pub const obs_key_OBS_KEY_NUMASTERISK: obs_key = 97;