#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();
}