Re: Stdio.Buffer() bug ?