bstrdup
eval_string(bstrdup(v->u.string));
push_string(bstrdup(str));
char *bstrdup(const char *p);
return bstrdup(buf);
return bstrdup("");