The Writer module contains functions that invoke parts of Header_protocol and
Short_header in order to write into the relevant (global variable) buffers
in Buffer
Choose what to do with the in memory stats data at exit.
The handler function is passed the header chunk and the list of data chunks.
Defaults to `Write_file "stats.dat".