Module random
x86_64
Support for build-in RNGs
Used to obtain random numbers using x86_64's RDRAND opcode