Ratchet punch

A punching machine that is operated by means of a ratchet wheel.