function rb_thread_exit

[edit]
static VALUE rb_thread_exit(void)