const char *short_name_utf8 = var_get_short_name (mrset->vars[j], 0);
char *short_name = recode_string (encoding, "UTF-8",
short_name_utf8, -1);
const char *short_name_utf8 = var_get_short_name (mrset->vars[j], 0);
char *short_name = recode_string (encoding, "UTF-8",
short_name_utf8, -1);