} # end loop over records from input file
   } # end loop over files
} # end read_records()
} # end block of variables private to read_records()