RDRAND base random number generator library for Windows operating system