le. This is maybe suboptimal because we have to seek to the end of the file. Side effect: returns file position to record_start. r