 abort() has been called