: static VALUE rb_thread_exit(void)

