+/* Is SUFFIX ending STRING? */
+int strsuffix (const char* string, const char* suffix);
+
+/* Return a newly allocated string composed of the concatenation of
+ STRING1, and STRING2. */
+char* stringappend (const char* string1, const char* string2);
+
+/* Prefix used to generate output file names. */
+extern char *short_base_name;
+
+/* Infix used to generate output file names (i.e., `.tab', or `_tab',
+ or `'). */
+extern char *output_infix;