void eos_rng_init(void);