terminate -> abort, since these are not called during an exception.