Constant obs_key_OBS_KEY_F10 

pub const obs_key_OBS_KEY_F10: obs_key = 38;