let array_of_data d : D.array = extract_from_data d