Non-deterministic_Turing_machine loading ...