Recursively_enumerable loading ...