fusl/src/prng/srand48.c

#include <stdlib.h>

void srand48(long seed) {
  seed48((unsigned short[3]){0x330e, seed, seed >> 16});
}