my $num_lines = $header_lines + $lines_per_rec * $num_recs;