#ifndef RANDOMBYTES_H
#define RANDOMBYTES_H
#include <stdint.h>

void randombytes(uint8_t *x, uint64_t xlen);

#endif