write_file(file, str) string file, str; Append the string 'str' into the file 'file'. See also: efun/file_size efun/cat efun/log_file