#include "../src/impl.c"


void
randombytes(u8 *FIXME1, u64 FIXME2) {
	(void)FIXME1;
	(void)FIXME2;
}

int
main(void) {
	// FIXME
	return 0;
}