-extern void stat_startRP(void);
-extern void stat_endRP(nat,
+void stat_startInit(void);
+void stat_endInit(void);
+
+void stat_startGC(void);
+void stat_endGC (lnat alloc, lnat live,
+ lnat copied, lnat scavd_copied, lnat gen);
+
+#ifdef PROFILING
+void stat_startRP(void);
+void stat_endRP(nat,