This should be IO_write_stringref_utf8