Symbol: test_flush_stdout