Turing_degree loading ...