+#if defined(mingw32_HOST_OS)
+extern int rts_InstallConsoleEvent ( int action, StgStablePtr *handler );
+extern void rts_ConsoleHandlerDone ( int ev );
+#else
+extern int stg_sig_install (int, int, StgStablePtr *, void *);
+#endif
+
+#if !defined(mingw32_HOST_OS)
+extern StgInt *signal_handlers;
+#endif
+extern void setIOManagerPipe (int fd);
+
+extern void* stgMallocBytesRWX(int len);
+