Purely_functional_data_structure loading ...