Machine_that_always_halts