+#ifdef NDEBUG
+#define dump(x)
+#else
+static void dump(char *pref)
+{
+int i;
+ fprintf(stderr,"%s: i[",pref);
+ for (i=0;i<istackp;i++) {
+ if (i) fputc(',',stderr);
+ fprintf(stderr,"%d",istack[i]);
+ }
+ fprintf(stderr,"],op=[");
+ for (i=0;i<opstackp;i++) fputc(opstack[i],stderr);
+ fprintf(stderr,"]\n");
+}
+#endif
+