void InitCounter(void);
unsigned long Counter(void);
void Delay(unsigned long);
-BOOL FrameReached(unsigned long *, unsigned long);
-BOOL DelayReached(unsigned long *, unsigned long);
+boolean FrameReached(unsigned long *, unsigned long);
+boolean DelayReached(unsigned long *, unsigned long);
void WaitUntilDelayReached(unsigned long *, unsigned long);
char *int2str(int, int);
unsigned int SimpleRND(unsigned int);
void GetOptions(char **);
void Error(int, char *, ...);
void *checked_malloc(unsigned long);
+char *getKeySymName(KeySym);
#endif