rb_thread_reset_timer_thread  971 process.c      void rb_thread_reset_timer_thread(void);
rb_thread_reset_timer_thread  978 process.c        (rb_thread_reset_timer_thread(), rb_thread_start_timer_thread(), forked_child = 0, rb_disable_interrupt())