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