append_value_name (const struct variable *var, const union value *val, struct string *str)
{
var_append_value_name (var, val, str);
append_value_name (const struct variable *var, const union value *val, struct string *str)
{
var_append_value_name (var, val, str);