int Stdio.write_file(string filename, string str, int|void access)
Write the string str onto the file filename. Any existing data in the file is overwritten.
Returns number of bytes written.
Stdio.append_file, Stdio.read_bytes
Stdio.werror()