+#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