keypunch [pl. keypunches]