Make the RAND code available from inside the FIPS module