let urecord_of_data d : F.urecord = extract_from_data d