function rb_interrupt

void rb_interrupt(void)