*
* ---------------------------------------------------------------------------*/
+#include <stdio.h>
+
#if defined(PROFILING) || defined(DEBUG)
void initProfiling1 ( void );
void initProfiling2 ( void );
extern void fprintCCS( FILE *f, CostCentreStack *ccs );
+#ifdef DEBUG
+extern void debugCCS( CostCentreStack *ccs );
+#endif
+
#endif