void * lookupThreadLabel (StgWord key);
void removeThreadLabel (StgWord key);
void labelThread (StgPtr tso, char *label);
#endif
void * lookupThreadLabel (StgWord key);
void removeThreadLabel (StgWord key);
void labelThread (StgPtr tso, char *label);
#endif