srandom_unlocked
srandom_unlocked(x);
srandom_unlocked(seed);
static void srandom_unlocked(unsigned int);