rb_time_interval 3074 io.c           	timerec = rb_time_interval(timeout);
rb_time_interval 976 process.c      	rb_thread_wait_for(rb_time_interval(argv[0]));