Constant obs_key_OBS_KEY_VK_FINAL 

pub const obs_key_OBS_KEY_VK_FINAL: obs_key = 477;