#include "os.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();
}