/*PunSpec generate output for the punch special command */
void PunSpec(FILE* io, 
  char *chTime);