flushing stdout