I am trying to use rdseed to get a random seed value for our random number generator but I can\'t figure out how to go about doing it, the way I have it right now gives me a
