pico de piedra es flinting picks en

Tools for creating gunflints, in the form of hammer-like instruments with dual heads often of pyramidal shape culminating in sharp points, or other shape variations.