void randombytes(unsigned char *buffer, unsigned long long length);
