-rw-r--r-- 111 high-ctidh-20210504/randombytes.h#ifndef randombytes_h #define randombytes_h #include <stdlib.h> void randombytes(void *x, size_t l); #endif