// Change this file if your system uses a different randomness source.

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

// This function must return 0 on success, nonzero otherwise. Its job is to 
// fill the buffer of the size given witih randomness.
int fill_random(void *buf, int size)
{
  FILE *random = fopen("/dev/urandom", "r");
  
  if (!random)
  {
    return errno;
  }

  fread(buf, size, 1, random);
  fclose(random);
  return 0;
}