rb_thread_to_be_killed 1417 internal.h     int rb_thread_to_be_killed(VALUE thread);
rb_thread_to_be_killed 6155 io.c           	fptr_waitpid(fptr, rb_thread_to_be_killed(rb_thread_current()));