Symbol: flush_output_stdout