Writing to stdout