Constant obs_key_OBS_KEY_NUM4

pub const obs_key_OBS_KEY_NUM4: obs_key = 107;