#ifdef OUR_RAND

static unsigned long int next = 1;

/* Return next random integer */

int rand()
{
    next = next * 1103515245L + 12345;
    return (unsigned int) (next / 65536L) % 32768L;
}

/* Set seed for random generator */

void srand(seed)
  unsigned int seed;
{
    next = seed;
}
#endif