Total_computable_function loading ...