KWillets

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

typedef uint32_t (*randfnc32)(void);

/*
  To generate a random integer within a range, we start
  with a random fractional number (in [0,1)) and multiply it