Turing_machine_examples loading ...