function rb_f_END

static void rb_f_END(void)