extern void startSignalHandler(int sig);
extern void setIOManagerPipe (int fd);
+extern void* stgMallocBytesRWX(int len);
+
/* -----------------------------------------------------------------------------
Storage manager stuff exported
-------------------------------------------------------------------------- */