Add a can't-happen abort which I suspect is happening.