+
+#ifdef PROFILING
+extern double mut_user_time_during_RP(void);
+extern double mut_user_time_during_heap_census(void);
+#endif /* PROFILING */
+
+extern void statDescribeGens( void );
+extern HsInt64 getAllocations( void );
+
+extern void stat_getTimes ( long *currentElapsedTime,
+ long *currentUserTime,
+ long *elapsedGCTime );