#include <stdio.h>
#include <stdlib.h>

#include "common.h"

int i;
FILE *f;

// generate 8k of random data

int main(int argc, char *argv[])
{
    f = fopen("random.bin", "wb");
    srand(42);
    for (i = 0; i < 0x2000; i++) {
        fputc(rand(), f);
    }
    fclose(f);
}