--- public/pc/tools/osdk/main/Osdk/_final_/include/LIB.H	2012/01/12 09:51:08	780
+++ public/pc/tools/osdk/main/Osdk/_final_/include/LIB.H	2012/01/21 22:33:21	781
@@ -188,4 +188,12 @@
 extern unsigned char OsdkTableDiv6[];
 
 
+//
+// Some 'pseudo standard' library stuff
+//
+extern unsigned int randseedLow;
+extern unsigned int randseedTop;
+extern unsigned int pcrand();
 
+#define srand(seed) if (0) {} else {randseedLow=(seed);randseedTop=0;}
+#define rand() 		(rand32()?(randseedTop & 0x7fff):(randseedTop & 0x7fff))