HaltingMachine
machine
