-rw-r--r-- 111 high-ctidh-20210523/randombytes.h
#ifndef randombytes_h
#define randombytes_h

#include <stdlib.h>

void randombytes(void *x, size_t l);

#endif