The text 18412c95b41a, as Debian 10 (Buster) shipped it.
flush the terminal output buffer
tickit_term_flush(3) on Linux now
