1 /*
2   Support
3   Some random machine operations
4   JBS 15 June 1994
5 */
6 
7 #ifndef _SUPPORT_
8 
9 #define _SUPPORT_
10 
11 #include "types.h"
12 
13 void restart(void);
14 void verify(void);
15 void ncrypt(word, word, word, word);
16 void block_copy(word, word, signed_word);
17 void print_text(void);
18 
19 #endif
20