Symbol: fxrng_rng_reseed_internal