Turing_machines loading ...