: void rb_thread_interrupt(void)

