rb_io_external_encoding 10866 io.c               return rb_io_external_encoding(rb_io_check_io(ARGF.current_file));
rb_io_external_encoding 12372 io.c               rb_define_method(rb_cIO, "external_encoding", rb_io_external_encoding, 0);