profiler: flush after writing the profiler output Otherwise, the profiler output might only partially appears until the next flush of the buffer. Since profiling often happens for long operation, the next flush can be a long time away.

edition = "2018"
max_width = 79
wrap_comments = true
error_on_line_overflow = true