Machine that always halts