restore (println ), which does both newline and flush