#ifndef THREADLABELS_H
#define THREADLABELS_H
+BEGIN_RTS_PRIVATE
+
#if defined(DEBUG)
void initThreadLabelTable (void);
void freeThreadLabelTable (void);
void labelThread (StgPtr tso, char *label);
#endif
+END_RTS_PRIVATE
+
#endif /* THREADLABELS_H */