NAME
	write_file - append a string to a file

SYNTAX
	#include <stdio.h>

	int write_file(string file, string str)

DESCRIPTION
	Append the string str onto the file file. Returns number of bytes written.

KEYWORDS
	file

SEE ALSO
	read_bytes
