+void flushStatics (void);
+int printIvalCharPtr (symbol *, sym_link *, value *, FILE *);
+
+extern symbol *interrupts[];
+extern set *publics;
+extern set *tmpfileSet;
+extern set *tmpfileNameSet;
+
+void rm_tmpfiles (void);
+int
+pointerTypeToGPByte (const int p_type, const char *iname, const char *oname);