flush package:terminal
Flush the output buffer and make the all previous output actually
visible after a reasonably short amount of time.
- The operation may return before the buffer has actually been
flushed.
This operations flushes the output buffer. Whether it blocks or not
until the buffer has actually been flushed shall be undefined (there
might be other buffers involved that cannot be force-flushed so it is
probably better to not give any guarantees here).