#ifndef RNG_H #define RNG_H #include void randombytes(void *x, size_t l); #endif