halt-Problem (init 0)