Ticket punch - Wikipedia
Hole punch - Wikipedia
What are paper punches called? - Quora
How to Punch Tin: 14 Steps (with Pictures) - wikiHow
Based on the standard paper hole size, and the proportions between Mario and Hole Puncher's holes, we can deduce that Paper Mario is AT MOST 4 cm tall. : r/papermario
Hole punch - Wikipedia
How to Make a Ribbon Journal: 6 Steps (with Pictures) - wikiHow
Punched card - Wikipedia
Holepunch
File:Trouilloteuse One Hole Punch Japan 12.jpg - Wikimedia Commons