Constant obs_key_OBS_KEY_F4 

pub const obs_key_OBS_KEY_F4: obs_key = 32;