flush STDOUT;