write_chars(str, s = current_writer())
Write the characters in the string str to the textual output-stream s.
Return void.
// writing a utf-8 encoded text file:
let t = transcoder('UTF_8)
let f = file_writer("hello.txt", transcoder = t)
write_chars("hello, world", f)
close_writer(f)