/*PunResult produce output for the punch results and punch line intensity commands */
void PunResult(FILE * io, 
  char *chLab, 
  long int LineWL, 
  double xInten, 
  char *chFunction); /* null terminated string saying what to do */