`sys.stdout.flush()`?