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