let
record_of_data d :
D
.record = extract_from_data d