* (Checked) dynamic allocation
* -------------------------------------------------------------------------- */
+extern void initAllocator(void);
+extern void shutdownAllocator(void);
+
extern void *stgMallocBytes(int n, char *msg)
GNUC3_ATTRIBUTE(__malloc__);
extern void* __hscore_get_saved_termios(int fd);
extern void __hscore_set_saved_termios(int fd, void* ts);
+void printRtsInfo(void);
+
#endif /* RTSUTILS_H */