unsigned long next = 1;

//RANDU implementation
double bad_rand(void) {
    next = next*65539;
    if(next < 0) next += 2147483647L + 1;
    return double(next)/2147483647.;
}

void bad_srand(unsigned long seed) { next = seed; }