• to clip, to hole, to pierce, to punch
• hollow punch, punch, puncher
• dolly, pricker, prodding tool
• to clip, to hole, to pierce, to punch, to punch out, to puncture, to stave, to stave in, to stave, stove, to wear through
• to clip, to hole, to hull, to pierce, to punch