1 /* 2 Random 3 Random number generation 4 JBS 15 June 1994 5 */ 6 7 #ifndef _RANDOM_ 8 9 #define _RANDOM_ 10 11 #include "types.h" 12 13 void seed_random(void); 14 void std_random(word); 15 void plus_random(word); 16 17 #endif 18