Hash_tree_(persistent_data_structure) loading ...