Turing_computable loading ...