fips_random_inner
extern void fips_random_inner(uint32_t *, uint32_t *, uint32_t *);
fips_random_inner(rmp->rm_mag.rm_key, tempout,
fips_random_inner(swrand_XKEY, tempout, (uint32_t *)digest);
fips_random_inner(frsp->XKEY, tempout, entropy.as32);
fips_random_inner(frsp->XKEY, frsp->x_jminus1, FIPS_RNG_NO_USER_INPUT);