#ifndef __RNG_H__ #define __RNG_H__ void rng_init(); uint32_t rng_randint(uint32_t min, uint32_t max); #endif /* __RNG_H__ */