Output a UTF-8 encoding sequence ('\239\187\191') to the current output stream.
io.utf8()
None.
Premake 5.0 or later.