Stdio.File `<<(string data) Stdio.File `<<(mixed data)
Write some data to a file.
If data is not a string, it will be casted to string, and then written to the file.
Throws an error if not all data could be written.
write()