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.