void data_out_recode (const union value *input, const char *input_encoding,
const struct fmt_spec *,
struct string *output, const char *output_encoding);
void data_out_recode (const union value *input, const char *input_encoding,
const struct fmt_spec *,
struct string *output, const char *output_encoding);