my$lines=($good_lines+$bad_lines);
print "$lines lines read from $infile\n",
      "$bad_lines comment lines detected in $infile\n",
      "$good_lines lines written to $outfile\n";