Performs a non-buffered write to stdout using the C function writev() or
equivalent. Avoids interleaved output when writing concurrently from multiple
processes.
Details
This function writes to the C-level stdout of the process and hence cannot
be re-directed by sink().
A newline character is automatically appended to x, hence there is no need
to include this within the input string.
