AST_String newAST_DotString(AST_String s) { AST_String ret = new string(*s); ret->insert(0,"."); delete s; return ret; }