- char buf[4];
- ostrstream(buf,sizeof(buf)) << i << ends;
- a.push_back(symbol(string("a")+buf));
+#if defined(HAVE_SSTREAM)
+ ostringstream buf;
+ buf << "a" << i << ends;
+ a.push_back(symbol(buf.str()));
+#else
+ char buf[5]; // 'a' + 3 decimal digits + '\n'
+ ostrstream(buf,sizeof(buf)) << "a" << i << ends;
+ a.push_back(symbol(buf));
+#endif
+ e += a[i];