  We construct the first example of a lattice on an irreducible Euclidean
building that is not residually finite. Conjecturally, the normal subgroup
theorem extends to this lattice making it virtually simple.
