Re: Stdio.File->write()