Recursively_enumerable_set loading ...