#ifndef THREADLABELS_H
#define THREADLABELS_H
+#include "BeginPrivate.h"
+
#if defined(DEBUG)
void initThreadLabelTable (void);
void freeThreadLabelTable (void);
void labelThread (StgPtr tso, char *label);
#endif
+#include "EndPrivate.h"
+
#endif /* THREADLABELS_H */