any of several hand tools (of a workman, craftsman, etc.).