Computably_enumerable loading ...