Re: Is stderr flushed automatically after exceptions are printed