extern symbol *interrupts[];
extern set *publics;
extern set *tmpfileSet;
+extern set *pipeSet;
extern set *tmpfileNameSet;
void rm_tmpfiles (void);
-int
-pointerTypeToGPByte (const int p_type, const char *iname, const char *oname);
+int pointerTypeToGPByte (const int p_type, const char *iname, const char *oname);
#endif