pub fn flush()
Flushes the default output file.
Saves any written data to the default output file. Equivalent to io.output():flush().
io.output():flush()
io.write("working...") io.flush() -- make it visible before a newline arrives
file::flush