#include "GetTime.h"
+BEGIN_RTS_PRIVATE
+
void stat_startInit(void);
void stat_endInit(void);
#endif /* PROFILING */
void statDescribeGens( void );
-HsInt64 getAllocations( void );
Ticks stat_getElapsedGCTime(void);
Ticks stat_getElapsedTime(void);
void statsPrintf( char *s, ... )
GNUC3_ATTRIBUTE(format (printf, 1, 2));
+END_RTS_PRIVATE
#endif /* STATS_H */