fptr_waitpid     4385 io.c               if (fptr) fptr_waitpid(fptr, 0);
fptr_waitpid     6155 io.c           	fptr_waitpid(fptr, rb_thread_to_be_killed(rb_thread_current()));