#include	<u.h>#include	<libc.h> intrand(void){	return lrand() & 0x7fff;}