Update punch.c