int get_random_int()
{
    int ret = 0;
    FILE *f = fopen("/dev/urandom", "rb");
    if (f == NULL)
        exit(1);
    fread(&ret, sizeof(ret), 1, f);
    fclose(f);
    return ret;
}