Flushing stdout