/*
 * 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;
}