#ifndef THREADLABELS_H
#define THREADLABELS_H
+#pragma GCC visibility push(hidden)
+
#if defined(DEBUG)
void initThreadLabelTable (void);
void freeThreadLabelTable (void);
void labelThread (StgPtr tso, char *label);
#endif
+#pragma GCC visibility pop
+
#endif /* THREADLABELS_H */