#ifndef RANDOMBYTES_H_ #define RANDOMBYTES_H_ #include <stdint.h> void init_rng(void); void randombytes(unsigned char* x, unsigned long long len); uint32_t rand32(void); #endif /* RANDOMBYTES_H_ */
