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()));