#include "os.h"
#include <mp.h>
#include <libsec.h>

/* */
/*  just use the libc prng to fill a buffer */
/* */
void
prng(uchar *p, int n)
{
	uchar *e;

	for(e = p+n; p < e; p++)
		*p = rand();
}