Constant obs_key_OBS_KEY_LAUNCHA 

pub const obs_key_OBS_KEY_LAUNCHA: obs_key = 311;