#include "../include/randgen.h"
#include "../include/types.h"

uint seed = 12345;

uint rand_seed(uint s)
{
  seed = s;
  for (int i=0; i<4; i++)
    seed = (seed*22695477+1) ;
  return 0;
}

uint randint()
{
  uint result = (seed >> 16) % 16384;
  seed = (seed*22695477+1) ;
  return result;
}

uint rand_get(uint bound)
{
  return randint() % bound;
}