#include <stdlib.h>
#include <stdio.h>

int main(void)
{
  unsigned short seed1[] = { 0x1234, 0x5678, 0x9abc };
  unsigned short *oldseed;

  oldseed = seed48(seed1);
  printf("Initial seed: %#06x %#06x %#06x\n",
	 oldseed[0], oldseed[1], oldseed[2]);

  printf("lrand48() = %ld\n", lrand48());

  seed48(seed1);
  printf("mrand48() = %ld\n", mrand48());

  return 1;
}