Recursively_enumerable_language loading ...