#include <time.h>

void randombytes(unsigned char *x,unsigned long long xlen) {
	FILE* fd = fopen("/dev/urandom", "rb");
	if (fd != NULL) {
		fread(x, 1, xlen, fd);
		fclose(fd);
	} else {
		srand(time(NULL));
		for (int i = 0; i < xlen; i++) x[i] = rand() % 256;
	}
}