#if defined(PROFILING) || defined(DEBUG)
// This must be done after module initialisation.
// ToDo: make this work in the presence of multiple hs_add_root()s.
#if defined(PROFILING) || defined(DEBUG)
// This must be done after module initialisation.
// ToDo: make this work in the presence of multiple hs_add_root()s.
// clean up things from the storage manager's point of view.
// also outputs the stats (+RTS -s) info.
exitStorage();
// clean up things from the storage manager's point of view.
// also outputs the stats (+RTS -s) info.
exitStorage();