#include <stdio.h>

void reseed_()
{
   int seed;
   const int zero=0;
   const int lux=3;
   FILE *fd = fopen("/dev/urandom","r");
   if (fd == 0) {
      fprintf(stderr,"reseed error - unable to open /dev/urandom");
      return;
   }
   else if (fread(&seed,sizeof(seed),1,fd) == 0) {
      fprintf(stderr,"reseed error - unable to read from /dev/urandom");
      return;
   }
   seed &= 0x7fffffff;
   rluxgo_(&lux,&seed,&zero,&zero);
   printf("reseed - set ranlux to lux level %d with seed %d\n",
          lux,seed);
}