* (Checked) dynamic allocation
* -------------------------------------------------------------------------- */
-extern void *stgMallocBytes(int n, char *msg)
- GNUC3_ATTRIBUTE(__malloc__);
+extern void initAllocator(void);
+extern void shutdownAllocator(void);
-extern void* stgMallocBytesRWX(int len)
+extern void *stgMallocBytes(int n, char *msg)
GNUC3_ATTRIBUTE(__malloc__);
extern void *stgReallocBytes(void *p, int n, char *msg);