+extern void terse PARAMS ((void));
+extern void verbose PARAMS ((void));
+
+#if 0 /* XXX currently unused. */
+static void print_token PARAMS ((int, int));
+#endif
+
+static void print_state PARAMS ((int));
+static void print_core PARAMS ((int));
+static void print_actions PARAMS ((int));
+static void print_grammar PARAMS ((void));