An implementation of random number generator based on rdrand instruction