trivial_records
