term_timers      10400 src/w32.c        term_timers ();
term_timers       175 src/w32.h      extern void term_timers (void);