Re: Hardware-random-bits interface