+/* The file name as given on the command line.
+ Not named "input_file" because Flex uses this name for an argument,
+ and therefore GCC warns about a name clash. */
+extern struniq_t grammar_file;
+
+/* The current file name. Might change with %include, or with #line. */
+extern struniq_t current_file;