That might be good but I'm not sure that it flushes after each write, which we need for letting the user see this output fast