Turing-computable loading ...