Flush after println(xs...) (but not after println(stdout, xs...))

Flush after println(xs...) (but not after println(stdout, xs...)) #37146