let record_of_data d : F.record = extract_from_data d