option_to_flush_stdout
