ee if the buffer should be flushed. If it should, then flush() is expected to do what's needed. c