extern void statDescribeGens( void );
extern HsInt64 getAllocations( void );
-#if defined(SMP)
-extern long int stat_getElapsedTime ( void );
-#endif
+extern void stat_getTimes ( long *currentElapsedTime,
+ long *currentUserTime,
+ long *elapsedGCTime );