a heavy tool used for pounding.