Returns the expected file size for the given number of records in the file */
int getLengthForRecords(int records) { return headerLength + records * recordLength; }