/* dummy fips_rand.h */