Function generate_launcher 

fn generate_launcher<'ll>(
    cx: &GenericCx<'ll, FullCx<'ll, '_>>,
) -> (&'ll Value, &'ll Type)