USING: io.encodings.utf8 io.files ; "this is a string" "file.txt" utf8 set-file-contents