Comment out the halting problem