Constant obs_key_OBS_KEY_NUM4 

pub const obs_key_OBS_KEY_NUM4: obs_key = 107;