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