#include "../include/randgen.h"
#include <cstdio>

int main()
{
  rand_seed(12345);
  for (int i=0; i<100; i++)
    printf("X%d: %d\n",i,randint());
}