Re: copy into stdout and redirect to a file