/*
* seed48.c
*/
#include <stdlib.h>
#include <stdint.h>
#include <string.h>
extern unsigned short __rand48_seed[3];
unsigned short *seed48(const unsigned short xsubi[3])
{
static unsigned short oldseed[3];
memcpy(oldseed, __rand48_seed, sizeof __rand48_seed);
memcpy(__rand48_seed, xsubi, sizeof __rand48_seed);
return oldseed;
}