typedef void (*TickProc)(int);
void initTicker (nat ms, TickProc handle_tick);
void startTicker (void);
void stopTicker (void);
typedef void (*TickProc)(int);
void initTicker (nat ms, TickProc handle_tick);
void startTicker (void);
void stopTicker (void);