Turing_machine loading ...