1 03/15/85 punch_restart 2 3 Syntax as a command: x punch_restart 4 5 6 Function: attaches the card punch device and starts the puna driver 7 (i.e., it reverses the effect of the end_punch command).