flush() better than << std::flush