On the pro-semisimple completion of the fundamental group of a smooth variety over a finite field

Let $Pi$ be the fundamental group of a smooth variety X over $F_p$. Given a non-Archimedean place $lambda$ of the field of algebraic numbers which is prime to p, consider the $lambda$-adic pro-semisimple completion of $Pi$ as an object of the groupoid whose objects are pro-semisimple groups and whose morphisms are isomorphisms up to conjugation by elements of the neutral connected component. We prove that this object does not depend on $lambda$. If dim X=1 we also prove a crystalline generalization of this fact. We deduce this from the Langlands conjecture for function fields (proved by L. Lafforgue) and its crystalline analog (proved by T. Abe) using a reconstruction theorem in the spirit of Kazhdan-Larsen-Varshavsky. We also formulate two related conjectures, each of which is a reciprocity law involving a sum over all $l$-adic cohomology theories (including the crystalline theory for $l=p$).