c PUNCH-FORMER-PUNCH-GRINDER