charset_arg_iso_revision  979 src/charset.c    val = args[charset_arg_iso_revision];
charset_arg_iso_revision 1254 src/charset.c    args[charset_arg_iso_revision] = make_fixnum (iso_revision);