#include "os.h"#include <mp.h>#include <libsec.h> ////  just use the libc prng to fill a buffer//voidprng(uchar *p, int n){	uchar *e; 	for(e = p+n; p < e; p++)		*p = rand();}