expandstr
ps4 = expandstr(ps4val());
expandedname = expandstr(name);
const char *expandstr(const char *);