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