renamecmd
void renamecmd(char *, char *);
renamecmd(fromname, (yyvsp[(3) - (5)].s));
renamecmd(fromname, $3);