+void
+ritem_print (FILE *out)
+{
+ int i;
+ fputs ("RITEM\n", out);
+ for (i = 0; i < nritems; ++i)
+ if (ritem[i] >= 0)
+ fprintf (out, " %s", quotearg_style (escape_quoting_style,
+ symbols[ritem[i]]->tag));
+ else
+ fprintf (out, " (rule %d)\n", -ritem[i] - 1);
+ fputs ("\n\n", out);
+}