rb_io_flush      2556 io.c           	rb_io_flush(rb_defout);
rb_io_flush      2636 io.c           	rb_io_flush(*var);