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