[console_scripts]
HaltingMachine = HaltingMachine:main
