NO_THREAD_INTERRUPT_TIME 1703 ext/tk/tcltklib.c                 timer_tick = NO_THREAD_INTERRUPT_TIME;
NO_THREAD_INTERRUPT_TIME 2244 ext/tk/tcltklib.c     t0.tv_usec = (time_t)((NO_THREAD_INTERRUPT_TIME)*1000.0);