Performs a non-buffered write to stdout using the C function writev() or
equivalent. Avoids interleaved output when writing concurrently from multiple
processes.
Usage
write_stdout(x)
Value
Invisible NULL. As a side effect, x is output to stdout.
Arguments
x
character string.
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.