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