Edit File: fips_rand.h