compound_types, records