rb_threadptr_to_kill 2042 thread.c       		rb_threadptr_to_kill(th);
rb_threadptr_to_kill 2247 thread.c       	rb_threadptr_to_kill(th);