large-records-0.4.2: Efficient compilation for large records, linear in the size of the record