More flushes of stdout