Such an example of course could not be projective and would not itself lift to Z_p. The context is that one can compute p-adic cohomology of a variety X over a finite field F_p via the cohomology of an embedding of X into a smooth Z_p scheme.
This is similar in spirit to my questions herehere and herehere (but a different question than the second link).