Prickpunch
Prick"punch`
(?),
n.
A pointed steel punch, to prick a mark on metal.