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