Function generate_launcher 

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