/*punlin parse punch lines command, or actually do the punch output */
void punlin(FILE * ip, /* the file we will write to */
  char *chDo, 
  int lgLog3);