WaveDump alters the default data format in two ways. First, the traces are split into individual files, named wave#.dat. Then there is a user-defined option to include the event header, which is also in a different format (6 long words instead of 4, and different layout) from the default in the manual.
We will need to think about how best to alter the scope of this package to adapt to these quirks.