#ifndef TICKER_H
#define TICKER_H
+#include "BeginPrivate.h"
+
typedef void (*TickProc)(int);
-extern void initTicker (nat ms, TickProc handle_tick);
-extern void startTicker (void);
-extern void stopTicker (void);
-extern void exitTicker (void);
+void initTicker (nat ms, TickProc handle_tick);
+void startTicker (void);
+void stopTicker (void);
+void exitTicker (rtsBool wait);
+
+#include "EndPrivate.h"
#endif /* TICKER_H */