an instrument used by divers artificers, being a sort of round hollow chisel; serving to cut holes, channels, grooves, &c. in wood, stone, &c.