[Varkenssteen]
VARKENSSTEEN, z.n., m., des varkenssteens, of van den varkenssteen; meerv. varkenssteenen. Bij Kil. ook krauwsteen, een steen, waarmede men het vel der varkens wrijven zou; maar anders, even als de slangensteen, een gewaand tegengif, dat, in de gestalte van eenen steen, in het lijf van sommige varkens gevonden wordt, naar het sp. piedra del porco.