Fixes usage of free'd memory
/* free the stable pointer table */
exitStablePtrTable();
/* free the stable pointer table */
exitStablePtrTable();
#if defined(DEBUG)
/* free the thread label table */
freeThreadLabelTable();
#if defined(DEBUG)
/* free the thread label table */
freeThreadLabelTable();
reportCCSProfiling();
#endif
reportCCSProfiling();
#endif
endProfiling();
#ifdef PROFILING
endProfiling();
#ifdef PROFILING