Turing_degrees loading ...