#ifdef TRACING
initTracing();
#endif
+ /* Dtrace events are always enabled
+ */
+ dtraceEventStartup();
/* initialise scheduler data structures (needs to be done before
* initStorage()).
OnExitHook();
+ // Free the full argv storage
+ freeFullProgArgv();
+
#if defined(THREADED_RTS)
ioManagerDie();
#endif