Belt punch

(Mach.) a punch, or punch pliers, for making holes for lacings in the ends of driving belts.

See also: Punch