#ifndef RANDOMBYTES_H
#define RANDOMBYTES_H

extern void randombytes(unsigned char * x,unsigned long long xlen);

#endif