-extern void stat_endGC(lnat alloc, lnat collect, lnat live, lnat gen);
+extern void stat_endGC (lnat alloc, lnat collect, lnat live,
+ lnat copied, lnat scavd_copied, lnat gen);
+
+#ifdef PROFILING
+extern void stat_startRP(void);
+extern void stat_endRP(nat,
+#ifdef DEBUG_RETAINER
+ nat, int,
+#endif
+ double);
+#endif /* PROFILING */
+
+#if defined(PROFILING) || defined(DEBUG)
+extern void stat_startHeapCensus(void);
+extern void stat_endHeapCensus(void);
+#endif
+
+extern void stat_startExit(void);
+extern void stat_endExit(void);
+
+extern void stat_exit(int alloc);
+extern void stat_workerStop(void);
+