Autoflushing stdout