Constant obs_key_OBS_KEY_F14 

pub const obs_key_OBS_KEY_F14: obs_key = 42;