*
* ---------------------------------------------------------------------------*/
-#ifndef __THREADLABELS_H__
-#define __THREADLABELS_H__
+#ifndef THREADLABELS_H
+#define THREADLABELS_H
+
+BEGIN_RTS_PRIVATE
#if defined(DEBUG)
void initThreadLabelTable (void);
+void freeThreadLabelTable (void);
void updateThreadLabel (StgWord key, void *data);
void * lookupThreadLabel (StgWord key);
void removeThreadLabel (StgWord key);
void labelThread (StgPtr tso, char *label);
#endif
-#endif /* __THREADLABELS_H__ */
+END_RTS_PRIVATE
+
+#endif /* THREADLABELS_H */