användes stenar , och varfsarbetarne kastade dessutom hvarjehanda jernsaker , som de bruka i sitt arbete.