The file data.bin was generated as follows using the reference Stream VByte implementation (https://github.com/lemire/streamvbyte) :
```
int N = 5000;
uint32_t *datain = malloc(N * sizeof(uint32_t));
uint8_t *compressedbuffer = malloc(N * sizeof(uint32_t));
for (int k = 0; k < N; ++k)
datain[k] = k * 100;
size_t compsize = streamvbyte_encode(datain, N, compressedbuffer); // encoding
const char * filename = "data.bin";
printf("I will write the data to %s \n", filename);
FILE *f = fopen(filename, "w");
size_t bw = fwrite(compressedbuffer, 1, compsize, f);
fclose(f);
```
That is, it contains 5000 integers: 0, 100, 200, ...