extern char *time_str(void);
extern char *ullong_format_string(ullong, char *, rtsBool);
-#ifdef PAR
-extern ullong msTime(void);
-#endif
-
#ifdef DEBUG
extern void heapCheckFail( void );
#endif
void printRtsInfo(void);
+int rts_isProfiled(void);
+
#endif /* RTSUTILS_H */