Create halt.json