Constant obs_key_OBS_KEY_NUMLOCK 

pub const obs_key_OBS_KEY_NUMLOCK: obs_key = 27;