init_timers      10498 src/w32.c        init_timers ();
init_timers       176 src/w32.h      extern void init_timers (void);