1 #include	<lib9.h>
2 
3 int
4 p9rand(void)
5 {
6 	return lrand() & 0x7fff;
7 }