Show RDRAND results.

rdrand.c

// cc -mrdrnd rdrand.c -o rdrand && ./rdrand | head

#include <stdio.h>

void main() {
  while (1) {
    unsigned long long v;
    int i = __builtin_ia32_rdrand64_step(&v);
    printf("%d %#8llx\n", i, v);
  }
}