let array_of_data d : F.array = extract_from_data d