Generate a random number by RDRAND operation

rdrand.c

#include <immintrin.h>
#include <stdio.h>

unsigned int rnd() {
  unsigned int r = 0;
  _rdrand32_step(&r);

  return r;
}

int main() {
  for(int i=0;i<100;i++) {
    printf("%u\n", rnd());
  }

  return EXIT_SUCCESS;
}