6 public static int main (string[] args) {
8 string filename = "/tmp/data.txt";
11 string content = "hello, worl d简体 繁體";
12 FileUtils.set_contents (filename, content);
16 FileUtils.get_contents (filename, out read);
18 stdout.printf ("The content of file '%s' is:\n%s\n", filename, read);