Wiktionary
punchcutter
n. One who carries out punchcutting.
n. One who carries out punchcutting.