Constant obs_key_OBS_KEY_LAUNCHF 

pub const obs_key_OBS_KEY_LAUNCHF: obs_key = 316;