Prickpunch

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