Fixed halt problem