Turing_reduction loading ...