Stdio.File->write()