stop_timer_thread  622 src/w32proc.c      stop_timer_thread (ITIMER_REAL);
stop_timer_thread  624 src/w32proc.c      stop_timer_thread (ITIMER_PROF);