In-diffusion of Pt in Si from the PtSi/Si interface.