split Flush(w) to Dump(w) and Flush()