/* True if transforming plain C code */
extern int flag_c;
+/* True if target-specific extensions should be output as gcc
+ attributes rather than in their original syntax. */
+extern int flag_gccize;
+
+/* Print included file names (-H) */
+extern int print_include_names;
+
#endif