Re: distinguishing ABORTED and CRASHED