On Wed, 9 Nov 2016 20:08:39 +0100 (CET)
"J. C." <julien(a)mail.upb.de> wrote:
Nov 9 2016, Markus Seeber has written:
...
Are you perhaps on a 32bit OS?
Yes, I
am, but would that really effect the systems facility to read and
interpret 64bit integers in a file?
No, but it could be a bug/misfeature in the software you are using for
recording. It could be related to an integer overflow when using a
32-bit signed integer to keep track of file size or something similar.
In C, an 'int' would compile to a 32-bit or 64-bit variable according to
the word size of the target machine. As other possible causes don't
seem to apply, this seems likely.
Can you try the recording with the same command line options on a
64-bit OS, and with a 64-bit version of the same recording software?