punch (engineering)

  1. REDIRECT Punch (tool)