One of our aborts() should have been an assert().